Author:Laura Kovács

Publications
EasyChair Preprint no. 98

Keyphrases

automated reasoning2, automated theorem prover, automated theorem proving2, Avatar, clause normal form, consequence finding, first-order logic2, first-order theorem prover, first-order theorem proving, FOOL, fool formula, interpolation, invariant generation3, loop, next state relation, polymorphic arrays, program analysis2, program verification3, Resolution Calculus, SAT solving, static analysis, superposition, symbol elimination, termination, theorem prover, theorem proving, translation, Vampire2.