The Mec 5 model-checker - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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.
Fichier principal
Vignette du fichier
GV-TMMC-2004.pdf (78.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00351697 , version 1 (10-01-2009)

Identifiants

  • HAL Id : hal-00351697 , version 1

Citer

Alain Griffault, Aymeric Vincent. The Mec 5 model-checker. Computer Aided Verification, Jul 2004, Boston, United States. pp.488-491. ⟨hal-00351697⟩

Collections

CNRS
328 Consultations
208 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More