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

Vampire 2016:Keyword Index

KeywordPapers
A
automated theorem provingBetter Proof Output for Vampire
automated verificationAutomating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
B
benchmarkEvaluating Automated Theorem Provers Using Adimen-SUMO
C
consequence findingTheory-Specific Reasoning about Loops with Arrays using Vampire
F
first-order logicBetter Proof Output for Vampire
Global Subsumption Revisited (Briefly)
first-order theorem provingAutomating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
I
invariant generationTheory-Specific Reasoning about Loops with Arrays using Vampire
O
OntologiesEvaluating Automated Theorem Provers Using Adimen-SUMO
P
polymorphic arraysTheory-Specific Reasoning about Loops with Arrays using Vampire
program analysisTheory-Specific Reasoning about Loops with Arrays using Vampire
program verificationTheory-Specific Reasoning about Loops with Arrays using Vampire
proof outputBetter Proof Output for Vampire
S
system evaluationEvaluating Automated Theorem Provers Using Adimen-SUMO
T
theorem provingGlobal Subsumption Revisited (Briefly)
type systemsAutomating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
V
VampireBetter Proof Output for Vampire
Global Subsumption Revisited (Briefly)
Copyright © 2012-2023 easychair.org. All rights reserved.