Méthodes formelles de vérification

Méthodes de spécification et de preuve de programmes, approche déductive, preuve d’invariants Algorithmes de vérification basés sur les modèles (model-checking).
Techniques symboliques d’exploration des espaces d’états.
Méthodes d’abstraction. Analyse statique de programmes.