Author:Laura KovácsPublications |
---|
EasyChair Preprint 13150 | EasyChair Preprint 13150 | EasyChair Preprint 12145 | EasyChair Preprint 12142 | EasyChair Preprint 10632 | EasyChair Preprint 10853 | EasyChair Preprint 10632 | EasyChair Preprint 10223 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 9217 | EasyChair Preprint 8182 | EasyChair Preprint 6513 | EasyChair Preprint 5531 | EasyChair Preprint 5176 | EasyChair Preprint 4946 | EasyChair Preprint 2468 | EasyChair Preprint 2468 | EasyChair Preprint 98 | | | | | | | | | | | | | | | | | | | | | | |
KeyphrasesAlgebraic Recurrences, arithmetic2, automated deduction, automated inductive reasoning, automated reasoning11, automated software verification2, automated theorem prover, automated theorem proving5, automating induction, Avatar, AVATAR architecture, blockchain protocols, clause normal form, consequence finding, Decentralized Protocols, decision procedure, Descision Procedure, finite fields, first-order logic2, first-order theorem prover, first-order theorem proving7, FOOL, fool formula, formal methods, formal verification, function calls, Game-theoretic security, game theory, incentive compatibility, induction6, induction in first-order logic, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, interpolation, invariant generation3, LIA, linear arithmetic2, LIRA2, logic, loop, loop invariants, loop synthesis, LRA, next state relation, Optimization, polymorphic arrays, polynomial arithmetic, Presburger arithmetic, program analysis2, program synthesis3, program verification3, protocol verification, Quantified First-Order Logic, quantifier elimination2, recursion, recursive programs, Reducibility constraints, redundancy, Resolution Calculus, rewriting, SAT solving, saturation6, saturation based proof search2, saturation-based theorem proving, Secure Protocols, security analysis, SMT3, SMT solving, software correctness, sorting algorithms2, static analysis, structural induction2, superposition6, superposition-based theorem proving, superposition calculus, superposition reasoning3, superposition theorem prover, symbol elimination, symbolic computation, term algebra2, termination, theorem prover, theorem proving5, translation, Triangular Sets, unification, Unification with Abstraction, Vampire4, virtual substitution. |
|