, TSAR: Tera-Scale Multiprocessor ARchitecture home page

J. Barnat and L. Brim-&-petr-rockai, DiVinE 2.0: High-Performance Model Checking, 2009 International Workshop on High Performance Computational Systems Biology, pp.31-32, 2009.

S. Blom, &. Jaco-van-de-pol, and . Weber, LTSmin: Distributed and symbolic reachability, Computer Aided Verification (CAV), pp.354-359, 2010.

M. Colange, S. Baarir, and F. Kordon-&-yann-thierry-mieg, Towards Distributed Software Model-Checking using Decision Diagrams, vol.8044, pp.830-845, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01215999

Z. Gharbi, 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

A. Mansour, 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.

M. Najem, Modélisation et Analyse du protocole de cohérence de caches de la machine multiprocesseur TSAR (in French). First Year Master Student Project, 2011.

R. Pelánek, 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

D. Zhao, Vérification de protocole de cohérence de cache hybride multicast/broadcast avec les techniques de model-checking (in French), 2015.