ENSEIRB-MATMECA
1 av. du Dr Albert Schweitzer
33402 Talence Cedex
France

Aymeric VINCENT

E-mail: Aymeric.Vincentàbordeaux-inp.fr

I am the author of Mec 5 [sources tar.gz] [PDF manual] [HTML manual], a model-checker for AltaRica models. This model-checker is released in the public domain.

Here are my publications.