Filtrer vos résultats
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 3
- 3
- 3
- 3
- 2
3 résultats
|
|
triés par
|
|
Vérification interactive de propriétés à l'exécution d'un programme avec un débogueurCompas’2016, Jul 2016, Lorient, France
Communication dans un congrès
hal-01331973v1
|
||
|
Interactive Runtime Verification: Formal Models, Algorithms, and Implementation[Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019
Rapport
hal-02190656v1
|
||
|
Interactive Runtime Verification - When Interactive Debugging meets Runtime VerificationISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
Communication dans un congrès
hal-01592671v1
|