Author:Laura Kovács

Publications
EasyChair Preprint no. 5531
EasyChair Preprint no. 5176
EasyChair Preprint no. 4946
EasyChair Preprint no. 2468
EasyChair Preprint no. 98

Keyphrases

Algebraic Recurrences, automated reasoning5, automated theorem prover, automated theorem proving2, Avatar, AVATAR architecture, clause normal form, consequence finding, first-order logic2, first-order theorem prover, first-order theorem proving3, FOOL, fool formula, formal verification, induction2, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, interpolation, invariant generation3, loop, loop invariants, loop synthesis, next state relation, Optimization, polymorphic arrays, program analysis2, program verification3, Resolution Calculus, SAT solving, saturation, saturation based proof search, saturation-based theorem proving, static analysis, structural induction, superposition, superposition reasoning, superposition theorem prover, symbol elimination, symbolic computation, term algebra, termination, theorem prover, theorem proving2, translation, Vampire3.