Examen Cours M2 : Méthode de Vérification
A formal semantics of the modelling language. ? A formal specification. Complementary approaches. ? Theorem prover. ? Model checking. ? Static analysis.
A formal semantics of the modelling language. ? A formal specification. Complementary approaches. ? Theorem prover. ? Model checking. ? Static analysis.