Vampire 2016: Keyword Index

Keyword	Papers
a
automated theorem proving	Better Proof Output for Vampire
automated verification	Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
b
benchmark	Evaluating Automated Theorem Provers Using Adimen-SUMO
c
consequence finding	Theory-Specific Reasoning about Loops with Arrays using Vampire
f
first-order logic	Better Proof Output for Vampire Global Subsumption Revisited (Briefly)
first-order theorem proving	Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
i
invariant generation	Theory-Specific Reasoning about Loops with Arrays using Vampire
o
Ontologies	Evaluating Automated Theorem Provers Using Adimen-SUMO
p
polymorphic arrays	Theory-Specific Reasoning about Loops with Arrays using Vampire
program analysis	Theory-Specific Reasoning about Loops with Arrays using Vampire
program verification	Theory-Specific Reasoning about Loops with Arrays using Vampire
proof output	Better Proof Output for Vampire
s
system evaluation	Evaluating Automated Theorem Provers Using Adimen-SUMO
t
theorem proving	Global Subsumption Revisited (Briefly)
type systems	Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
v
Vampire	Better Proof Output for Vampire Global Subsumption Revisited (Briefly)