## Vampire 2016. Proceedings of the 3rd Vampire Workshop6 articles•82 pages•Published: March 1, 2017 ## Papers
## Keyphrasesautomated theorem proving, automated verification, benchmark, consequence finding, first-order logic ^{2}, first-order theorem proving, invariant generation, Ontologies, polymorphic arrays, program analysis, program verification, proof output, system evaluation, theorem proving, type systems, Vampire^{2} |