|
|
Vampire 2016. Proceedings of the 3rd Vampire Workshop6 articles•82 pages•Published: March 1, 2017 PapersPages 1-15 | Pages 16-32 | Pages 33-45 | Pages 46-60 | Pages 61-73 | Pages 74-82 |
Keyphrasesautomated theorem proving, automated verification, benchmark, consequence finding, first-order logic2, first-order theorem proving, invariant generation, Ontologies, polymorphic arrays, program analysis, program verification, proof output, system evaluation, theorem proving, type systems, Vampire2 |
|
|
