Andrei Paskevich
Andrei Paskevich
Associate Professor of Computer Science, Paris-Sud University
Geverifieerd e-mailadres voor u-psud.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Why3—where programs meet provers
JC Filliātre, A Paskevich
European Symposium on Programming, 125-128, 2013
3902013
Why3: Shepherd your herd of provers
F Bobot, JC Filliātre, C Marché, A Paskevich
Boogie 2011: First International Workshop on Intermediate Verification …, 2011
2862011
TFF1: The TPTP typed first-order form with rank-1 polymorphism
JC Blanchette, A Paskevich
International Conference on Automated Deduction, 414-420, 2013
622013
The spirit of ghost code
JC Filliātre, L Gondelman, A Paskevich
Formal Methods in System Design 48 (3), 152-174, 2016
482016
ForTheL — the language of formal theories
K Vershinin, A Paskevich
International Journal of Information Theories and Applications 7 (3), 120-126, 2000
482000
Expressing polymorphic types in a many-sorted language
F Bobot, A Paskevich
Frontiers of Combining Systems, 87-102, 2011
472011
Let’s verify this with Why3
F Bobot, JC Filliātre, C Marché, A Paskevich
International Journal on Software Tools for Technology Transfer 17 (6), 709-727, 2015
392015
A3PAT, an approach for certified automated termination proofs
É Contejean, A Paskevich, X Urbain, P Courtieu, O Pons, J Forest
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
382010
System for Automated Deduction (SAD): a tool for proof verification
K Verchinine, A Lyaletski, A Paskevich
International Conference on Automated Deduction, 398-403, 2007
292007
System for automated deduction (SAD): Linguistic and deductive peculiarities
A Lyaletski, K Verchinine, A Degtyarev, A Paskevich
Intelligent Information Systems 2002, 413-422, 2002
282002
Reasoning with triggers
C Dross, S Conchon, A Paskevich
262012
On correctness of mathematical texts from a logical and practical point of view
K Verchinine, A Lyaletski, A Paskevich, A Anisimov
International Conference on Intelligent Computer Mathematics, 583-598, 2008
252008
Theorem proving and proof verification in the system SAD
A Lyaletski, A Paskevich, K Verchinine
International Conference on Mathematical Knowledge Management, 236-250, 2004
252004
The 2nd verified software competition: Experience report
JC Filliātre, A Paskevich, A Stump
COMPARE 2012, Comparative Empirical Evaluation of Reasoning Systems, 1st …, 2012
242012
Adding Decision Procedures to SMT Solvers using Axioms with Triggers
C Dross, S Conchon, J Kanig, A Paskevich
Journal of Automated Reasoning 56 (4), 387-457, 2016
202016
Preserving user proofs across specification changes
F Bobot, JC Filliātre, C Marché, G Melquiond, A Paskevich
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
192013
Formalizing semantics with an automatic program verifier
M Clochard, JC Filliātre, C Marché, A Paskevich
Working Conference on Verified Software: Theories, Tools, and Experiments, 37-51, 2014
182014
A Pragmatic Type System for Deductive Verification
JC Filliātre, L Gondelman, A Paskevich
162016
How to avoid proving the absence of integer overflows
M Clochard, JC Filliātre, A Paskevich
VSSTE, 94-109, 2015
162015
VerifyThis 2018: A Program Verification Competition
M Huisman, R Monahan, P Müller, A Paskevich, G Ernst
Université Paris-Saclay, 2019
15*2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20