VAMPIRE 2015: THE 2ND VAMPIRE WORSHOP

This page contains an index consisting of author-provided keywords.

A
automated reasoning	Reasoning About Loops Using Vampire The Uses of SAT Solvers in Vampire
automated verification	Using Vampire in Soundness Proofs of Type Systems
AVATAR	Nice Models for AVATAR
F
first-order logic	New Vampire Features as Extensions to TPTP
first-order theorem proving	Using Vampire in Soundness Proofs of Type Systems
I
induction scheme	Using Vampire in Soundness Proofs of Type Systems
invariant generation	Reasoning About Loops Using Vampire
M
model	Nice Models for AVATAR
P
program analysis	Reasoning About Loops Using Vampire
S
SAT solver	Nice Models for AVATAR The Uses of SAT Solvers in Vampire
simply typed lambda calculus	Using Vampire in Soundness Proofs of Type Systems
T
theorem proving	Reasoning About Loops Using Vampire New Vampire Features as Extensions to TPTP
type soundness	Using Vampire in Soundness Proofs of Type Systems
type system	Using Vampire in Soundness Proofs of Type Systems
typing rule	Using Vampire in Soundness Proofs of Type Systems
V
Vampire	New Vampire Features as Extensions to TPTP The Uses of SAT Solvers in Vampire
verification infrastructure	Using Vampire in Soundness Proofs of Type Systems

Disclaimer | Powered by EasyChair Smart Program