- 4
AP
Andrei Paskevich
4
Documents
Identifiants chercheurs
- tertium
- IdRef : 204772567
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 1
- 2
- 2
- 2
|
Verified Programs with BindersProgramming Languages meets Program Verification, Jan 2014, San Diego, United States
Communication dans un congrès
hal-00913431v1
|
|
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
|
|
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
|