Claude Marché
4
Documents
Affiliations actuelles
Publications
- 4
- 4
- 1
- 2
- 2
|
Formalizing Semantics with an Automatic Program Verifier6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01067197v1
|
|
Verified Programs with BindersProgramming Languages meets Program Verification, Jan 2014, San Diego, United States
Communication dans un congrès
hal-00913431v1
|
|
Deductive Verification with Ghost Monitors2018
Pré-publication, Document de travail
hal-01926659v1
|
|
Deductive Verification via Ghost Debugging[Research Report] RR-9219, Inria Saclay Ile de France. 2018
Rapport
hal-01907894v1
|