Author:Laura Kovács

Publications
EasyChair Preprint no. 98

Keyphrases

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