Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

Vampire 2016: Volume Information

Vampire 2016. Proceedings of the 3rd Vampire Workshop

Editors: Laura Kovacs and Andrei Voronkov

EPiC Series in Computing•Volume 44

6 articles•82 pages•Published: March 1, 2017

Papers

Conflicts, Models and Heuristics for Quantifier Instantiation in SMT

Andrew Reynolds

1-15

Theory-Specific Reasoning about Loops with Arrays using Vampire

Yuting Chen, Laura Kovacs and Simon Robillard

16-32

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

Sylvia Grewe, Sebastian Erdweg and Mira Mezini

33-45

Better Proof Output for Vampire

46-60

Global Subsumption Revisited (Briefly)

Giles Reger and Martin Suda

61-73

Evaluating Automated Theorem Provers Using Adimen-SUMO

Javier Álvez, Paqui Lucio and German Rigau

74-82

Keyphrases

automated theorem proving, automated verification, benchmark, consequence finding, first-order logic², first-order theorem proving, invariant generation, Ontologies, polymorphic arrays, program analysis, program verification, proof output, system evaluation, theorem proving, type systems, Vampire².