Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00351697
Contributor : Aymeric Vincent <>
Submitted on : Saturday, January 10, 2009 - 1:40:26 PM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 5:23:10 PM

File

GV-TMMC-2004.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

595

Files downloads

210