Author:Laura Kovács

Publications

Keyphrases

automated reasoning, automated theorem proving, Avatar, clause normal form, consequence finding, first-order theorem proving, FOOL, interpolation, invariant generation2, polymorphic arrays, program analysis2, program verification, Resolution Calculus, SAT solving, superposition, symbol elimination, theorem proving, translation, Vampire.