Méthode de vérification axiomatique : déduction logique et vérification par contre-exemple