Author:Laura KovácsPublications 

    EasyChair Preprint no. 13150   EasyChair Preprint no. 12145  EasyChair Preprint no. 12142  EasyChair Preprint no. 10632  EasyChair Preprint no. 10853    EasyChair Preprint no. 10223  EasyChair Preprint no. 9606  EasyChair Preprint no. 9217  EasyChair Preprint no. 8182  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, arithmetic^{2}, automated deduction, automated inductive reasoning, automated reasoning^{11}, automated software verification^{2}, automated theorem prover, automated theorem proving^{5}, automating induction, Avatar, AVATAR architecture, blockchain protocols, clause normal form, consequence finding, Decentralized Protocols, decision procedure, Descision Procedure, finite fields, firstorder logic^{2}, firstorder theorem prover, firstorder theorem proving^{7}, FOOL, fool formula, formal methods, formal verification, function calls, game theory, Gametheoretic security, incentive compatibility, induction^{6}, induction in firstorder logic, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, interpolation, invariant generation^{3}, LIA, linear arithmetic^{2}, LIRA^{2}, logic, loop, loop invariants, loop synthesis, LRA, next state relation, Optimization, polymorphic arrays, polynomial arithmetic, Presburger arithmetic, program analysis^{2}, program synthesis^{3}, program verification^{3}, protocol verification, Quantified FirstOrder Logic, quantifier elimination^{2}, recursion, recursive programs, Reducibility constraints, redundancy, Resolution Calculus, rewriting, SAT solving, saturation^{6}, saturation based proof search^{2}, saturationbased theorem proving, Secure Protocols, security analysis, SMT^{3}, SMT solving, software correctness, sorting algorithms^{2}, static analysis, structural induction^{2}, superposition^{6}, superposition calculus, superposition reasoning^{3}, superposition theorem prover, superpositionbased theorem proving, symbol elimination, symbolic computation, term algebra^{2}, termination, theorem prover, theorem proving^{5}, translation, Triangular Sets, unification, Unification with Abstraction, Vampire^{4}, virtual substitution. 
