|
Author:Márton HajduPublications |
---|
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, induction3, induction in first-order logic, induction with generalization, inductive benchmarks, Inductive data types, integers, saturation, saturation based proof search2, software correctness, sorting algorithms, structural induction2, superposition, superposition reasoning2, superposition-based theorem proving, term algebra2, Vampire2. |
|
|