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

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
Pages 1-7
Things You Can't do With a Vampire
Geoff Sutcliffe
Pages 8-28
SAT solving experiments in Vampire
Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov
Pages 29-32
Using Vampire in Soundness Proofs of Type Systems
Sylvia Grewe, Sebastian Erdweg and Mira Mezini
Pages 33-51
Reasoning About Loops Using Vampire
Laura Kovács and Simon Robillard
Pages 52-62
The Uses of SAT Solvers in Vampire
Giles Reger and Martin Suda
Pages 63-69
The Challenges of Evaluating a New Feature in Vampire
Giles Reger, Martin Suda and Andrei Voronkov
Pages 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-2023 easychair.org. All rights reserved.