@(tsar,
 title        = {TSAR: Tera-Scale Multiprocessor ARchitecture home page},
 url          = {https://www-soc.lip6.fr/trac/tsar},
)
@inproceedings(divine,
 author       = {Jir\'{i} Barnat and Lubo Brim and Petr Rockai},
 year         = {2009},
 title        = {{DiVinE 2.0: High-Performance Model Checking}},
 booktitle    = {2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009)},
 publisher    = {IEEE Computer Society Press},
 pages        = {31--32},
 doi          = {10.1109/HiBi.2009.10},
)
@inproceedings(ltsmin,
 author       = {Stefan Blom and Jaco van~de Pol and Michael Weber},
 year         = {2010},
 title        = {{LTSmin}: Distributed and symbolic reachability},
 booktitle    = {Computer Aided Verification (CAV)},
 organization = {Springer},
 pages        = {354--359},
 doi          = {10.1007/978-3-642-14295-6_31},
)
@inproceedings(cav13,
 author       = {Maximilien Colange and Souheib Baarir and Fabrice Kordon and Thierry-Mieg, Yann},
 year         = {2013},
 title        = {{T}owards {D}istributed {S}oftware {M}odel-{C}hecking using {D}ecision {D}iagrams},
 booktitle    = {{C}omputer {A}ided {V}erification ({CAV})},
 series       = {LNCS~8044},
 publisher    = {Springer Verlag},
 pages        = {830--845},
 doi          = {10.1007/978-3-642-39799-8_58},
)
@mastersthesis(gharbi2013,
 author       = {Zahia Gharbi},
 year         = {2013},
 title        = {V\'erification compositionnelle du Protocole de Coh\'erence de Cache de la Machine Multiprocesseur TSAR (in French)},
 school       = {Universit\'e Pierre et Marie Curie},
)
@(gal,
 title        = {ITS-tools model checker and GAL language home page.},
 url          = {http://ddd.lip6.fr/},
)
@techreport(mansour2012,
 author       = {Akli Mansour},
 year         = {2012},
 title        = {Mod\'elisation et Analyse du protocole de coh\'erence de caches de la machine multiprocesseur TSAR : Absence de deadlocks (in French)},
 type         = {First Year Master Student Project},
 institution  = {Universit\'e Pierre et Marie Curie},
)
@techreport(najem2011,
 author       = {Mohamad Najem},
 year         = {2011},
 title        = {Mod\'elisation et Analyse du protocole de coh\'erence de caches de la machine multiprocesseur TSAR (in French)},
 type         = {First Year Master Student Project},
 institution  = {Universit\'e Pierre et Marie Curie},
)
@inproceedings(beem,
 author       = {Radek Pel\'anek},
 year         = {2007},
 title        = {{BEEM: Benchmarks for Explicit Model Checkers}},
 booktitle    = {Model Checking Software, 14th Int'l SPIN Workshop},
 series       = {LNCS},
 volume       = {4595},
 publisher    = {Springer},
 pages        = {263--267},
 doi          = {10.1007/978-3-540-73370-6_17},
)
@(spin,
 title        = {Spin model checker home page.},
 url          = {http://spinroot.com/},
)
@mastersthesis(zhao2015,
 author       = {Di~Zhao},
 year         = {2015},
 title        = {V\'erification de protocole de coh\'erence de cache hybride multicast/broadcast avec les techniques de model-checking (in French)},
 school       = {Universit\'e Pierre et Marie Curie},
)