,
Principles of Model Checking, 2008. ,
Debugging of concurrent systems using counterexample analysis, FSEN 2017, vol.10522, pp.20-34, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01533401
Counterexample simplification for liveness property violation, SEFM 2018, vol.10886, pp.173-188, 2018. ,
DOI : 10.1007/978-3-319-92970-5_11
URL : https://hal.archives-ouvertes.fr/hal-01818790
A model checking language for concurrent value-passing systems, FM 2008, vol.5014, pp.148-164, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312