Vampire Workshop

201520152015

Keyphrases

Publications

2015

Giles Reger, Martin Suda
The Uses of SAT Solvers in Vampire. Vampire Workshop (2015)
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
Using Vampire in Soundness Proofs of Type Systems. Vampire Workshop (2015)
Geoff Sutcliffe
Things You Can't do With a Vampire. Vampire Workshop (2015)
Laura Kovács, Simon Robillard
Reasoning About Loops Using Vampire. Vampire Workshop (2015)

2014

Giles Reger, Martin Suda, Andrei Voronkov
The Challenges of Evaluating a New Feature in Vampire. Vampire Workshop (2014)
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov
SAT solving experiments in Vampire. Vampire Workshop (2014)
Jasmin Christian Blanchette
My Life with an Automatic Theorem Prover. Vampire Workshop (2014)