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.