TSAR: Tera-Scale Multiprocessor ARchitecture home page https://www-soc.lip6.fr/trac/tsar Jirí Barnat Lubo Brim Petr Rockai 2009 DiVinE 2.0: High-Performance Model Checking 2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009) IEEE Computer Society Press 31–32 10.1109/HiBi.2009.10 Stefan Blom Jaco van de Pol Michael Weber 2010 LTSmin: Distributed and symbolic reachability Computer Aided Verification (CAV) Springer 354–359 10.1007/978-3-642-14295-6_31 Maximilien Colange Souheib Baarir Fabrice Kordon Yann Thierry-Mieg 2013 Towards Distributed Software Model-Checking using Decision Diagrams Computer Aided Verification (CAV) LNCS 8044 Springer Verlag 830–845 10.1007/978-3-642-39799-8_58 Zahia Gharbi 2013 Vérification compositionnelle du Protocole de Cohérence de Cache de la Machine Multiprocesseur TSAR (in French) Université Pierre et Marie Curie ITS-tools model checker and GAL language home page. http://ddd.lip6.fr/ Akli Mansour 2012 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 Université Pierre et Marie Curie Mohamad Najem 2011 Modélisation et Analyse du protocole de cohérence de caches de la machine multiprocesseur TSAR (in French) First Year Master Student Project Université Pierre et Marie Curie Radek Pelánek 2007 BEEM: Benchmarks for Explicit Model Checkers Model Checking Software, 14th Int'l SPIN Workshop LNCS 4595 Springer 263–267 10.1007/978-3-540-73370-6_17 Spin model checker home page. http://spinroot.com/ Di Zhao 2015 Vérification de protocole de cohérence de cache hybride multicast/broadcast avec les techniques de model-checking (in French) Université Pierre et Marie Curie