Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
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.
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00351697
Contributeur : Aymeric Vincent Connectez-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

Fichier

GV-TMMC-2004.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00351697, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

194