Accéder directement au contenu
AP

Andrei Paskevich

4
Documents
Identifiants chercheurs

Présentation

Publications

949301
Image document

Verified Programs with Binders

 Martin Clochard , Claude Marché , Andrei Paskevich
Programming Languages meets Program Verification, Jan 2014, San Diego, United States
Communication dans un congrès hal-00913431v1
Image document

Formalizing Semantics with an Automatic Program Verifier

 Martin Clochard , Jean-Christophe Filliâtre , Claude Marché , Andrei Paskevich
6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2014, Vienna, Austria
Communication dans un congrès hal-01067197v1
Image document

Deductive Verification with Ghost Monitors

 Martin Clochard , Claude Marché , Andrei Paskevich
2018
Pré-publication, Document de travail hal-01926659v1
Image document

Deductive Verification via Ghost Debugging

 Martin Clochard , Andrei Paskevich , Claude Marché
[Research Report] RR-9219, Inria Saclay Ile de France. 2018
Rapport hal-01907894v1