, TSAR: Tera-Scale Multiprocessor ARchitecture home page
DiVinE 2.0: High-Performance Model Checking, 2009 International Workshop on High Performance Computational Systems Biology, pp.31-32, 2009. ,
LTSmin: Distributed and symbolic reachability, Computer Aided Verification (CAV), pp.354-359, 2010. ,
, Towards Distributed Software Model-Checking using Decision Diagrams, vol.8044, pp.830-845, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01215999
Vérification compositionnelle du Protocole de Cohérence de Cache de la Machine Multiprocesseur TSAR (in French), 2013. ,
, ITS-tools model checker and GAL language home page
Modélisation et Analyse du protocole de cohérence de caches de la machine multiprocesseur TSAR : Absence de deadlocks (in French). First Year Master Student Project, 2012. ,
Modélisation et Analyse du protocole de cohérence de caches de la machine multiprocesseur TSAR (in French). First Year Master Student Project, 2011. ,
, BEEM: Benchmarks for Explicit Model Checkers. In: Model Checking Software, 14th Int'l SPIN Workshop, vol.4595, pp.263-267, 2007.
, Spin model checker home page
Vérification de protocole de cohérence de cache hybride multicast/broadcast avec les techniques de model-checking (in French), 2015. ,