CosyVerif: an Online Verification Platform
Jaime Arias
(1, 2, 3)
,
Benoît Barbot
(4, 5)
,
Francis Hulin-Hubard
(6)
,
Fabrice Kordon
(7)
,
Laure Petrucci
(1, 2)
1
LIPN -
Laboratoire d'Informatique de Paris-Nord
2 Université Sorbonne Paris Nord
3 CNRS - Centre National de la Recherche Scientifique
4 LACL - Laboratoire d'Algorithmique Complexité et Logique
5 UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12
6 LIP6
7 MoVe - Modélisation et Vérification
2 Université Sorbonne Paris Nord
3 CNRS - Centre National de la Recherche Scientifique
4 LACL - Laboratoire d'Algorithmique Complexité et Logique
5 UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12
6 LIP6
7 MoVe - Modélisation et Vérification
Jaime Arias
- Fonction : Auteur
- PersonId : 1722
- IdHAL : jaime-arias
- IdRef : 191751669
Benoît Barbot
- Fonction : Auteur
- PersonId : 5007
- IdHAL : benoit-barbot
Fabrice Kordon
- Fonction : Auteur
- PersonId : 9774
- IdHAL : fabrice-kordon
- ORCID : 0000-0002-5626-828X
- IdRef : 074605283
Laure Petrucci
- Fonction : Auteur
- PersonId : 178715
- IdHAL : laure-petrucci
- ORCID : 0000-0003-3154-5268
- IdRef : 110965787