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)