Jirí Barnat, Lubo Brim & Petr Rockai (2009):
DiVinE 2.0: High-Performance Model Checking.
In: 2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009).
IEEE Computer Society Press,
pp. 31–32,
doi:10.1109/HiBi.2009.10.
Stefan Blom, Jaco van de Pol & Michael Weber (2010):
LTSmin: Distributed and symbolic reachability.
In: Computer Aided Verification (CAV).
Springer,
pp. 354–359,
doi: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.
In: Computer Aided Verification (CAV),
LNCS 8044.
Springer Verlag,
pp. 830–845,
doi: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..
Available at 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.
In: Model Checking Software, 14th Int'l SPIN Workshop,
LNCS 4595.
Springer,
pp. 263–267,
doi:10.1007/978-3-540-73370-6_17.
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.