Model checking, Communications of the ACM, vol.52, issue.11, 2007. ,
DOI : 10.1145/1592761.1592781
The Coq proof assistant ,
URL : https://hal.archives-ouvertes.fr/inria-00069919
Méthodes et outils de vérification pour les réseaux de Petri de haut niveau, CNAM, 2006. ,
Analyse efficace des réseaux de Petri par des techniques de compilation Master's thesis, MPRI, university of Paris 7, 2010. ,
Proving a Petri net model-checker implementation, 2010. ,
Optimizing the compilation of Petri nets models, Proc. of SUMo'11, 2011. ,
On nested depth-first search, Proc. of the 2nd Spin Workshop, 1996. ,
Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 2009. ,
LLVM language reference manual ,
The LLVM compiler infrastructure ,
LLVM related publications ,
Helena: a high level net analyzer ,
The Isabelle proof assistant ,
Quickly prototyping Petri nets tools with SNAKES. Petri net newsletter, 2008. ,
Haskell-Coloured Petri Nets, IFL'99, 1999. ,
DOI : 10.1007/10722298_10
Traces Abstraction in Static Analysis and Program Transformation Abstraction de Traces en Analyse Statique et Transformations de Programmes, 2005. ,
Reflecting BDDs in Coq, ASIAN'00, 1961. ,
DOI : 10.1007/3-540-44464-5_13
URL : https://hal.archives-ouvertes.fr/inria-00072797