The Mec 5 model-checker
Résumé
We present in this article the features of the model-checker we have developed: Mec 5. This tool makes it possible to handle models written in the AltaRica language and is characterized by the great expressiveness of its specification logic: µ-calculus on relations with first order quantifiers and equality.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...