Alain Griffault

According to our database, Alain Griffault authored at least 3 papers between 1993 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

The Mec 5 Model-Checker.

Alain Griffault, Aymeric Vincent

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

1999

The AltaRica Formalism for Describing Concurrent Systems.

André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy

Fundam. Informaticae, 1999

1993

Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.

Marc-Michel Corsini, Alain Griffault, Antoine Rauzy

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993