|
Author:Márton HajduPublications |
---|
EasyChair Preprint no. 12145 | EasyChair Preprint no. 12142 | EasyChair Preprint no. 10632 | EasyChair Preprint no. 9217 | EasyChair Preprint no. 6513 | EasyChair Preprint no. 5531 | EasyChair Preprint no. 2468 |
Keyphrasesautomated reasoning3, automated software verification, automated theorem proving, automating induction, AVATAR architecture, first-order theorem proving4, function calls, induction4, induction in first-order logic, induction with generalization, inductive benchmarks, Inductive data types, integers, program synthesis, recursion, Reducibility constraints, redundancy, saturation3, saturation based proof search2, software correctness, sorting algorithms, structural induction2, superposition3, superposition reasoning2, superposition-based theorem proving, term algebra2, theorem proving, Vampire2. |
|
|