Author:Laura Kovács

Publications
A FOOLish Encoding of the Next State Relations of Imperative Programs Evgenii Kotelnikov, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 98
First-Order Interpolation and Interpolating Proof Systems Laura Kovács and Andrei Voronkov In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Vampire 2016. Proceedings of the 3rd Vampire Workshop Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 44
Theory-Specific Reasoning about Loops with Arrays using Vampire Yuting Chen, Laura Kovács and Simon Robillard In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
A Clausal Normal Form Translation for FOOL Evgenii Kotelnikov, Laura Kovács, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Proceedings of the 1st and 2nd Vampire Workshops Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 38
SAT solving experiments in Vampire Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
Reasoning About Loops Using Vampire Laura Kovács and Simon Robillard In:Proceedings of the 1st and 2nd Vampire Workshops
WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems Laura Kovács and Temur Kutsia (editors) EPiC Series in Computing, volume 18
SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science Laura Kovács and Temur Kutsia (editors) EPiC Series in Computing, volume 15
WING 2010. Workshop on Invariant Generation 2010 Andrei Voronkov, Laura Kovács and Nikolaj Bjorner (editors) EPiC Series in Computing, volume 1

Keyphrases

automated reasoning, automated theorem prover, automated theorem proving², Avatar, clause normal form, consequence finding, first-order logic, first-order theorem prover, first-order theorem proving, FOOL, fool formula, interpolation, invariant generation², next state relation, polymorphic arrays, program analysis², program verification², Resolution Calculus, SAT solving, static analysis, superposition, symbol elimination, theorem prover, theorem proving, translation, Vampire².