Principles of Model Checking, 2008. ,
Debugging of Concurrent Systems Using Counterexample Analysis, Proc. of FSEN'17, ser, vol.10522, pp.20-34, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01533401
, CLEAR Debugging Tool
Reference Manual of the LNT to LOTOS Translator (Version 6.7), 2018. ,
A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, ser, vol.5014, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056