<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01361274</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-20T08:10:03+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">MCC’2015 – The Fifth Model Checking Contest</title>
            <author role="crp">
              <persName>
                <forename type="first">Fabrice</forename>
                <surname>Kordon</surname>
              </persName>
              <email type="md5">c31b42c685f457d01a9fb6a6d448fd9d</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">fabrice-kordon</idno>
              <idno type="idhal" notation="numeric">9774</idno>
              <idno type="halauthorid" notation="string">7750-9774</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5626-828X</idno>
              <idno type="IDREF">https://www.idref.fr/074605283</idno>
              <idno type="VIAF">https://viaf.org/viaf/55088809</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hubert</forename>
                <surname>Garavel</surname>
              </persName>
              <email type="md5">4d7da3a5f24f7fefa324fd38abede717</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">hubert-garavel</idno>
              <idno type="idhal" notation="numeric">183117</idno>
              <idno type="halauthorid" notation="string">11596-183117</idno>
              <idno type="IDREF">https://www.idref.fr/076435350</idno>
              <affiliation ref="#struct-1042444"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lom Messan</forename>
                <surname>Hillah</surname>
              </persName>
              <email type="md5">1895059e09d07178f18a5ccad9ffb909</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">lom-messan-hillah</idno>
              <idno type="idhal" notation="numeric">847</idno>
              <idno type="halauthorid" notation="string">26291-847</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4558-720X</idno>
              <idno type="IDREF">https://www.idref.fr/13991238X</idno>
              <affiliation ref="#struct-170438"/>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Emmanuel</forename>
                <surname>Paviot-Adet</surname>
              </persName>
              <idno type="halauthorid">790830-0</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Loïg</forename>
                <surname>Jezequel</surname>
              </persName>
              <email type="md5">261a4648743e7ed0638954c28dfd9a65</email>
              <email type="domain">univ-nantes.fr</email>
              <idno type="idhal" notation="string">loig-jezequel</idno>
              <idno type="idhal" notation="numeric">17349</idno>
              <idno type="halauthorid" notation="string">14905-17349</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5113-9668</idno>
              <idno type="IDREF">https://www.idref.fr/169378837</idno>
              <affiliation ref="#struct-21439"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">César</forename>
                <surname>Rodríguez</surname>
              </persName>
              <idno type="halauthorid">684671-0</idno>
              <affiliation ref="#struct-994"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Francis</forename>
                <surname>Hulin-Hubard</surname>
              </persName>
              <idno type="halauthorid">790214-0</idno>
              <affiliation ref="#struct-157663"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hubert</forename>
                <surname>Garavel</surname>
              </persName>
              <email type="md5">4d7da3a5f24f7fefa324fd38abede717</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-09-07 10:51:27</date>
              <date type="whenWritten">2016</date>
              <date type="whenModified">2025-10-23 16:22:02</date>
              <date type="whenReleased">2016-09-07 10:52:05</date>
              <date type="whenProduced">2016</date>
              <date type="whenEndEmbargoed">2016-09-07</date>
              <ref type="file" target="https://inria.hal.science/hal-01361274v1/document">
                <date notBefore="2016-09-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01361274v1/file/main.pdf" id="file-1361274-1443485">
                <date notBefore="2016-09-07"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01361274/file/main.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="122725">
                <persName>
                  <forename>Hubert</forename>
                  <surname>Garavel</surname>
                </persName>
                <email type="md5">4d7da3a5f24f7fefa324fd38abede717</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01361274</idno>
            <idno type="halUri">https://inria.hal.science/hal-01361274</idno>
            <idno type="halBibtex">kordon:hal-01361274</idno>
            <idno type="halRefHtml">&lt;i&gt;LNCS Transactions on Petri Nets and Other Models of Concurrency&lt;/i&gt;, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-662-53401-4_12"&gt;&amp;#x27E8;10.1007/978-3-662-53401-4_12&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. &amp;#x27E8;10.1007/978-3-662-53401-4_12&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1361274-1443485"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-PARIS10" corresp="UNIV-PARIS-LUMIERES">Université Paris Nanterre</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="IRCCYN" corresp="UNIV-NANTES">Institut de Recherche en Communication et Cybernétique de Nantes</idno>
            <idno type="stamp" n="IRCCYN-STR" corresp="IRCCYN">Systèmes Temps Réel</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</idno>
            <idno type="stamp" n="OCA">Observatoire de la Cote d'Azur</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LIG_MFML_CONVECS" corresp="LIG_MFML">CONVECS</idno>
            <idno type="stamp" n="CONVECS">CONVECS team</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="USPC">Université Sorbonne Paris Cité</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="INRIA-SACLAY-2015" corresp="UNIV-PARIS-SACLAY">INRIA-SACLAY-2015</idno>
            <idno type="stamp" n="ENS-CACHAN-SACLAY" corresp="UNIV-PARIS-SACLAY">ENS-CACHAN-SACLAY</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="GALILE" corresp="UNIV-PARIS13">Institut Galilée Université Paris 13</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="UGA-COMUE">Université Grenoble Alpes [2016-2019]</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="LSV-AUTO">Laboratoire Spécification et Vérification</idno>
            <idno type="stamp" n="FARMAN">Institut Farman</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PARIS-NANTERRE" corresp="UNIV-PARIS-LUMIERES">Université Paris Nanterre</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="NU-CENTRALE">École Centrale de Nantes</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">MCC’2015 – The Fifth Model Checking Contest</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Fabrice</forename>
                    <surname>Kordon</surname>
                  </persName>
                  <email type="md5">c31b42c685f457d01a9fb6a6d448fd9d</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">fabrice-kordon</idno>
                  <idno type="idhal" notation="numeric">9774</idno>
                  <idno type="halauthorid" notation="string">7750-9774</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5626-828X</idno>
                  <idno type="IDREF">https://www.idref.fr/074605283</idno>
                  <idno type="VIAF">https://viaf.org/viaf/55088809</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hubert</forename>
                    <surname>Garavel</surname>
                  </persName>
                  <email type="md5">4d7da3a5f24f7fefa324fd38abede717</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">hubert-garavel</idno>
                  <idno type="idhal" notation="numeric">183117</idno>
                  <idno type="halauthorid" notation="string">11596-183117</idno>
                  <idno type="IDREF">https://www.idref.fr/076435350</idno>
                  <affiliation ref="#struct-1042444"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lom Messan</forename>
                    <surname>Hillah</surname>
                  </persName>
                  <email type="md5">1895059e09d07178f18a5ccad9ffb909</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">lom-messan-hillah</idno>
                  <idno type="idhal" notation="numeric">847</idno>
                  <idno type="halauthorid" notation="string">26291-847</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4558-720X</idno>
                  <idno type="IDREF">https://www.idref.fr/13991238X</idno>
                  <affiliation ref="#struct-170438"/>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Emmanuel</forename>
                    <surname>Paviot-Adet</surname>
                  </persName>
                  <idno type="halauthorid">790830-0</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Loïg</forename>
                    <surname>Jezequel</surname>
                  </persName>
                  <email type="md5">261a4648743e7ed0638954c28dfd9a65</email>
                  <email type="domain">univ-nantes.fr</email>
                  <idno type="idhal" notation="string">loig-jezequel</idno>
                  <idno type="idhal" notation="numeric">17349</idno>
                  <idno type="halauthorid" notation="string">14905-17349</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5113-9668</idno>
                  <idno type="IDREF">https://www.idref.fr/169378837</idno>
                  <affiliation ref="#struct-21439"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">César</forename>
                    <surname>Rodríguez</surname>
                  </persName>
                  <idno type="halauthorid">684671-0</idno>
                  <affiliation ref="#struct-994"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Francis</forename>
                    <surname>Hulin-Hubard</surname>
                  </persName>
                  <idno type="halauthorid">790214-0</idno>
                  <affiliation ref="#struct-157663"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">STR_HCERES2020</idno>
                <idno type="halJournalId" status="VALID">78787</idno>
                <idno type="issn">1867-7193</idno>
                <title level="j">LNCS Transactions on Petri Nets and Other Models of Concurrency</title>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">9930</biblScope>
                  <biblScope unit="pp">262-273</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-662-53401-4_12</idno>
              <ref type="publisher">http://link.springer.com/chapter/10.1007/978-3-662-53401-4_12</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The Model Checking Contest (MCC) is an annual competition between software tools that verify concurrent systems using state-space exploration techniques, either explicit-state or symbolic. The present article provides a comprehensive account of the 2015 edition of the MCC. The principles of the contest are described, together with its underlying software infrastructure. The tools that competed in 2015 are listed and the results of the contest are summarized.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-405336" status="OLD">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1042444" status="OLD">
          <idno type="RNSR">201221019Z</idno>
          <orgName>Construction of verified concurrent systems</orgName>
          <orgName type="acronym">CONVECS</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Centre de recherche Inria655 avenue de l'Europe38330 Montbonnot Saint-Martin</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/convecs</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-1041964" type="direct"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
            <relation active="#struct-445543" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-170438" status="VALID">
          <orgName>Université Paris Nanterre - Département de Mathématiques et Informatique</orgName>
          <desc>
            <address>
              <addrLine>200 avenue de la République 92001 Nanterre cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://dep-mathsinfo.parisnanterre.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116205" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-21439" status="OLD">
          <orgName>Institut de Recherche en Communications et en Cybernétique de Nantes</orgName>
          <orgName type="acronym">IRCCyN</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>1, rue de la Noë BP92101 44321 Nantes Cedex 03</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irccyn.ec-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-84538" type="direct"/>
            <relation active="#struct-111023" type="direct"/>
            <relation active="#struct-300405" type="direct"/>
            <relation name="93263" active="#struct-93263" type="indirect"/>
            <relation active="#struct-301358" type="direct"/>
            <relation name="UMR6597" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-994" status="OLD">
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-15786" type="direct"/>
            <relation active="#struct-301340" type="direct"/>
            <relation active="#struct-303171" type="direct"/>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-157663" status="OLD">
          <idno type="RNSR">200920937Y</idno>
          <orgName>Modeling and Exploitation of Interaction and Concurrency</orgName>
          <orgName type="acronym">MEXICO</orgName>
          <date type="start">2009-03-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LSV, ENS Cachan 61 av président Wilson 94235 Cachan cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/mexico</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2571" type="direct"/>
            <relation active="#struct-6862" type="indirect"/>
            <relation name="UMR8643" active="#struct-441569" type="indirect"/>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1041964" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035</idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-89889" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
            <relation active="#struct-445543" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-445543" status="OLD">
          <idno type="IdRef">188399275</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes [2016-2019]</orgName>
          <orgName type="acronym">UGA [2016-2019]</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116205" status="VALID">
          <idno type="IdRef">026403587</idno>
          <idno type="ROR">https://ror.org/013bkhk48</idno>
          <orgName>Université Paris Nanterre</orgName>
          <orgName type="acronym">UPN</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>200 avenue de la République - 92001 Nanterre cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.parisnanterre.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-84538" status="OLD">
          <orgName>Mines Nantes</orgName>
          <orgName type="acronym">Mines Nantes</orgName>
          <date type="start">1991-10-08</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.mines-nantes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-111023" status="OLD">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>École Centrale de Nantes</orgName>
          <orgName type="acronym">ECN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-300405" status="OLD">
          <idno type="IdRef">068449399</idno>
          <orgName>Ecole Polytechnique de l'Université de Nantes</orgName>
          <orgName type="acronym">EPUN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Chantrerie : Rue Christian Pauc - CS 50609 - 44306 Nantes Cedex 3Campus Gavy : Gavy Océanis -  CS 70152 - 44603 Saint-Nazaire CedexCampus Courtaisière : 18 Boulevard Gaston Defferre - 85035 La Roche-sur-Yon Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://web.polytech.univ-nantes.fr/l-ecole/</ref>
          </desc>
          <listRelation>
            <relation name="93263" active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-301358" status="OLD">
          <idno type="IdRef">187401039</idno>
          <orgName>PRES Université Nantes Angers Le Mans</orgName>
          <orgName type="acronym">UNAM</orgName>
          <date type="start">2008-12-31</date>
          <date type="end">2016-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-15786" status="VALID">
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris 13</orgName>
          <orgName type="acronym">UP13</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301340" status="VALID">
          <orgName>Institut Galilée</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-303171" status="VALID">
          <idno type="IdRef">19077990X</idno>
          <idno type="ROR">https://ror.org/001z21q04</idno>
          <orgName>Université Sorbonne Paris Cité</orgName>
          <orgName type="acronym">USPC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université Sorbonne Paris Cité | 100-104, avenue de France | 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2571" status="OLD">
          <orgName>Laboratoire Spécification et Vérification [Cachan]</orgName>
          <orgName type="acronym">LSV</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsv.ens-cachan.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6862" type="direct"/>
            <relation name="UMR8643" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6862" status="VALID">
          <orgName>École normale supérieure - Cachan</orgName>
          <orgName type="acronym">ENS Cachan</orgName>
          <desc>
            <address>
              <addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-cachan.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-118511" status="VALID">
          <idno type="RNSR">200818248E</idno>
          <idno type="ROR">https://ror.org/0315e5x55</idno>
          <orgName>Centre Inria de Saclay</orgName>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>