|
Author:Petra HozzováPublications |
---|
| EasyChair Preprint no. 10223 | EasyChair Preprint no. 8182 | EasyChair Preprint no. 6513 | EasyChair Preprint no. 5531 | EasyChair Preprint no. 5176 | EasyChair Preprint no. 2468 |
Keyphrasesautomated deduction, automated reasoning4, AVATAR architecture, first-order theorem proving3, formal verification, induction3, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, Linear Integer Arithmetic, non-linear integer arithmetic, non-linear real arithmetic, program synthesis2, saturation2, saturation based proof search2, saturation-based theorem proving, smart contracts, SMT solving, structural induction2, superposition, superposition reasoning3, superposition theorem prover, term algebra2, theorem proving2, Vampire2. |
|
|