Formal verification methods long promised to help organizations develop and deliver reliable, robust and safe software. However, the truth is that only a minority of industrial software development projects are using formal methods.
In this presentation, we will provide a brief overview of formal methods and their inherent quality advantages when compared to traditional static analysis and dynamic testing. We will then explain the three main reasons why adoption has been so slow, and discuss what could we do to address them. Finally, we will discuss how contracts in C++ may make the usage of formal methods more prevalent in the future.
View Slides
Steve Barriault is Vice President Technical Business Development at TrustInSoft, the leader in the use of formal methods for the detection of bugs in safety and security-critical applications. He has more than 20 years of experience in Embedded Software, working for the embedded division of Canonical (Ubuntu), Vector, and PolySpace, his teams and he providing complex solutions to a slew of prestigious clients in Automotive, Avionics, Medical Devices, Industrial Systems, Edge, and more.
Steve proudly wears his software engineering cap and loves to discuss how technologies can be leveraged for the benefit of all. He speaks English, French and Chinese fluently, studies Japanese at an intermediate/advanced level, and holds multiple degrees in Business, Sciences, Computer Science and International Relations.