VAMPIRE17: VAMPIRE 2017
TALK AUTHOR INDEX
Shortcuts: CFGJKMPRS
C
Chen, Yu-Ting
A Vampire Can Boogie! Using Vampire as a Back-End for Intermediate Verification Languages
F
Furia, Carlo A.
A Vampire Can Boogie! Using Vampire as a Back-End for Intermediate Verification Languages
G
Grewe, Sylvia
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
J
Jovanovic, Dejan
Model-Driven Reasoning in SMT
K
Kotelnikov, Evgenii
Checking reachablity properties in AWS networks with Tiros and Vampire
M
Mezini, Mira
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
P
Pacak, André
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
R
Reger, Giles
Incremental Solving with Vampire
Local proofs and AVATAR
Revisiting Question Answering in Vampire
Robillard, Simon
An Inference Rule for the Acyclicity Property of Term Algebras
S
Suda, Martin
Incremental Solving with Vampire
Local proofs and AVATAR