Author:Laura Kovács

Publications
Loop Analysis by Quantification over Iterations Bernhard Gleiss, Laura Kovács and Simon Robillard In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Vampire 2017. Proceedings of the 4th Vampire Workshop Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 53
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³, loop, next state relation, polymorphic arrays, program analysis², program verification³, Resolution Calculus, SAT solving, static analysis, superposition, symbol elimination, termination, theorem prover, theorem proving, translation, Vampire².