Towards Leveraging Domain Knowledge in State-Based Formal Methods

  Yamine Aït-Ameur ^{1, 2} AuthorId : 12334701
Author Employer institution : Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications IdHAL : yamine-ait-ameur ORCID : https://orcid.org/0000-0003-4582-9712

  Régine Laleau ³ AuthorId : 12317197
Author Employer institution : Université Paris-Est Créteil Val-de-Marne - Paris 12 IdHAL : regine-laleau ResearcherId : http://www.researcherid.com/rid/ABA-9759-2021 IdRef : https://www.idref.fr/150895194 ORCID : https://orcid.org/0000-0002-2019-4936

  Dominique Méry ^{4, 5, 6, 7} AuthorId : 1689351
Author Employer institution : Université de Lorraine IdHAL : dominiquemery ORCID : https://orcid.org/0000-0001-5231-6611

  Neeraj Kumar Singh ^{1, 2} AuthorId : 12317198
Author Employer institution : Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications IdHAL : neeraj-kumar-singh ORCID : https://orcid.org/0000-0002-1124-0179