FrenchKit 2016

FrenchKit 2016 : An Overview of Verification Techniques Today with FABRICE KORDON

23rd September 2016

An Overview of Verification Techniques Today

Software reliability is a real problem in a world where more and more functions are monitored by programs interacting with other programs or mechanisms (or humans). In this context, it is an issue to be able to understand how program's behavior can be predicted so that no unexpected situation is reached. This presentation will expose the problem through examples and briefly present an overview of formal verification techniques suitable to solve this problem.