Vampire@IJCAR

2016201720162017

Keyphrases

Publications

volume 44, 2017

Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. Vampire@IJCAR 44 (2017)

2016

Andrew Reynolds
Conflicts, Models and Heuristics for Quantifier Instantiation in SMT. Vampire@IJCAR (2016)
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. Vampire@IJCAR (2016)
Giles Reger, Martin Suda
Global Subsumption Revisited (Briefly). Vampire@IJCAR (2016)
Yuting Chen, Laura Kovács, Simon Robillard
Theory-Specific Reasoning about Loops with Arrays using Vampire. Vampire@IJCAR (2016)
Javier Álvez, Paqui Lucio, German Rigau
Evaluating Automated Theorem Provers Using Adimen-SUMO. Vampire@IJCAR (2016)
Giles Reger
Better Proof Output for Vampire. Vampire@IJCAR (2016)