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.
https://hal.archives-ouvertes.fr/hal-00351697 Contributeur : Aymeric VincentConnectez-vous pour contacter le contributeur Soumis le : samedi 10 janvier 2009 - 13:40:26 Dernière modification le : lundi 20 décembre 2021 - 16:50:10 Archivage à long terme le : : mardi 8 juin 2010 - 17:23:10