HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

Vampire 2014 and 2015: Volume Information

Proceedings of the 1st and 2nd Vampire Workshops

Editors: Laura Kovács and Andrei Voronkov
EPiC Series in Computing•Volume 38
7 articles•74 pages•Published: February 23, 2016

Papers

My Life with an Automatic Theorem Prover
Jasmin Christian Blanchette
1-7
Things You Can't do With a Vampire
Geoff Sutcliffe
8-28
SAT solving experiments in Vampire
Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov
29-32
Using Vampire in Soundness Proofs of Type Systems
Sylvia Grewe, Sebastian Erdweg and Mira Mezini
33-51
Reasoning About Loops Using Vampire
Laura Kovács and Simon Robillard
52-62
The Uses of SAT Solvers in Vampire
Giles Reger and Martin Suda
63-69
The Challenges of Evaluating a New Feature in Vampire
Giles Reger, Martin Suda and Andrei Voronkov
70-74

Keyphrases

automated reasoning, automated theorem proving, automatic theorem provers, Avatar3, first-order theorem proving2, invariant generation, Isabelle/HOL, program analysis2, proof assistants, SAT solving, Saturation Algorithms, symbol elimination, theorem proving2, TPTP, type systems, Vampire6.

Copyright © 2012-2025 easychair.org. All rights reserved.