MCC’2017 - The Seventh Model Checking Contest

  Fabrice Kordon ¹ AuthorId : 368846

Author IdHAL : fabrice-kordon ORCID : https://orcid.org/0000-0002-5626-828X

  Hubert Garavel ^{2, 3} AuthorId : 68524

Author IdHAL : hubert-garavel

  Lom Hillah ^{4, 1} AuthorId : 111171

Author IdHAL : lom-messan-hillah ORCID : https://orcid.org/0000-0002-4558-720X

  Emmanuel Paviot-Adet ^{5, 1} AuthorId : 1233137

Author

  Loïg Jezequel ⁶ AuthorId : 712972

Author IdHAL : loig-jezequel ORCID : https://orcid.org/0000-0001-5113-9668

  Francis Hulin-Hubard ⁷ AuthorId : 964007
Author

  Elvio Amparore ⁸ AuthorId : 874196

Author

  Marco Beccuti ⁸ AuthorId : 786424
Author

  Bernard Berthomieu ⁹ AuthorId : 64527

Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : bernard-berthomieu ORCID : https://orcid.org/0000-0001-9895-0052

  Hugues Evrard ¹⁰ AuthorId : 1100343

Author

  Peter Gjøl Jensen ¹¹ AuthorId : 11320474
Author

  Didier Le Botlan ⁹ AuthorId : 980336

Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : didier-le-botlan

  Torsten Liebke ¹² AuthorId : 11315455
Author

  Jeroen Meijer ¹³ AuthorId : 11315456
Author

  Jiří Srba ^{11, 14} AuthorId : 1101636

Author

  Yann Thierry-Mieg ¹ AuthorId : 1188804

Author IdHAL : yann-thierry-mieg ORCID : https://orcid.org/0000-0001-7775-1978

  Jaco van de Pol ¹³ AuthorId : 11315457
Author

  Karsten Wolf ¹² AuthorId : 11315458
Author