Author:Laura KovácsPublications 

EasyChair Preprint no. 6513  EasyChair Preprint no. 5531  EasyChair Preprint no. 5176  EasyChair Preprint no. 4946  EasyChair Preprint no. 2468       EasyChair Preprint no. 98           
KeyphrasesAlgebraic Recurrences, automated reasoning^{6}, automated theorem prover, automated theorem proving^{2}, Avatar, AVATAR architecture, clause normal form, consequence finding, firstorder logic^{2}, firstorder theorem prover, firstorder theorem proving^{4}, FOOL, fool formula, formal verification, induction^{3}, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, interpolation, invariant generation^{3}, loop, loop invariants, loop synthesis, next state relation, Optimization, polymorphic arrays, program analysis^{2}, program verification^{3}, Resolution Calculus, SAT solving, saturation, saturation based proof search^{2}, saturationbased theorem proving, static analysis, structural induction^{2}, superposition, superposition reasoning^{2}, superposition theorem prover, symbol elimination, symbolic computation, term algebra^{2}, termination, theorem prover, theorem proving^{2}, translation, Vampire^{4}. 
