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