Vampire 2014 and 2015: Keyword Index

Keyword	Papers
a
automated reasoning	Reasoning About Loops Using Vampire
automated theorem proving	SAT solving experiments in Vampire
automatic theorem provers	My Life with an Automatic Theorem Prover
Avatar	SAT solving experiments in Vampire The Uses of SAT Solvers in Vampire The Challenges of Evaluating a New Feature in Vampire
f
first-order theorem proving	Reasoning About Loops Using Vampire The Challenges of Evaluating a New Feature in Vampire
i
invariant generation	Reasoning About Loops Using Vampire
Isabelle/HOL	My Life with an Automatic Theorem Prover
p
program analysis	Using Vampire in Soundness Proofs of Type Systems Reasoning About Loops Using Vampire
proof assistants	My Life with an Automatic Theorem Prover
s
SAT solving	SAT solving experiments in Vampire
Saturation Algorithms	The Challenges of Evaluating a New Feature in Vampire
symbol elimination	Reasoning About Loops Using Vampire
t
theorem proving	Things You Can't do With a Vampire The Uses of SAT Solvers in Vampire
TPTP	Things You Can't do With a Vampire
type systems	Using Vampire in Soundness Proofs of Type Systems
v
Vampire	My Life with an Automatic Theorem Prover Things You Can't do With a Vampire SAT solving experiments in Vampire Using Vampire in Soundness Proofs of Type Systems The Uses of SAT Solvers in Vampire The Challenges of Evaluating a New Feature in Vampire