Author:Laura KovácsPublications |
---|
EasyChair Preprint no. 4946 | EasyChair Preprint no. 2468 | | | | | | EasyChair Preprint no. 98 | | | | | | | | | | |
KeyphrasesAlgebraic Recurrences, automated reasoning3, automated theorem prover, automated theorem proving2, Avatar, AVATAR architecture, clause normal form, consequence finding, first-order logic2, first-order theorem prover, first-order theorem proving2, FOOL, fool formula, formal verification, induction, induction with generalization, interpolation, invariant generation3, loop, loop invariants, loop synthesis, next state relation, Optimization, polymorphic arrays, program analysis2, program verification3, Resolution Calculus, SAT solving, saturation based proof search, static analysis, structural induction, superposition, superposition reasoning, symbol elimination, symbolic computation, term algebra, termination, theorem prover, theorem proving, translation, Vampire3. |
|