 |
Communication dans un congrès
The Mec 5 model-checker
Abstract : 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.
Littérature citée [10 références]
https://hal.archives-ouvertes.fr/hal-00351697
Contributeur : Aymeric Vincent <>
Soumis le : samedi 10 janvier 2009 - 13:40:26
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : mardi 8 juin 2010 - 17:23:10
Contributeur : Aymeric Vincent <>
Soumis le : samedi 10 janvier 2009 - 13:40:26
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : mardi 8 juin 2010 - 17:23:10
Fichier
GV-TMMC-2004.pdf
Fichiers produits par l'(les) auteur(s)
