- 11
AP
Andrei Paskevich
11
Documents
Identifiants chercheurs
- tertium
- IdRef : 204772567
Présentation
Publications
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 6
- 4
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 2
- 1
|
Let's Verify This with Why3International Journal on Software Tools for Technology Transfer, 2015, 17 (6), pp.709-727. ⟨10.1007/s10009-014-0314-5⟩
Article dans une revue
hal-00967132v1
|
|
Des transformations logiques passent leur certificatJFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès
hal-02384946v2
|
|
Deductive Verification with Ghost MonitorsPOPL 2020 - 47th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1145/3371070⟩
Communication dans un congrès
hal-02368284v1
|
|
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
|
|
Preserving User Proofs Across Specification ChangesFifth Working Conference on Verified Software: Theories, Tools and Experiments, May 2013, Atherton, United States. pp.191-201
Communication dans un congrès
hal-00875395v1
|
|
Why3: Shepherd Your Herd of ProversBoogie 2011: First International Workshop on Intermediate Verification Languages, 2011, Wroclaw, Poland. pp.53-64
Communication dans un congrès
hal-00790310v1
|
Why3 version 1.0France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018
Brevet
hal-03136256v1
|
|
The Why3 platform 0.812013
Autre publication scientifique
hal-00822856v1
|
|
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
|