VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

A
Amortized Complexity
Automata
C
Central Limit Theorem
Certifying Algorithms
code generation
computer algebra
Consistency
D
definitional package
E
events API
F
Formal verification
functional programming
G
graph theory
Gödel's incompleteness theorem
H
higher-order logic
HOL
I
interactive theorem proving
internalization of type classes
IPC API
Isabelle
Isabelle proof assistant
Isabelle/HOL
isar
J
jEdit
L
Lifting
local typedef
LTL Model Checking
M
MILS (multiple independent levels of security)
model
Monad
N
network protocol
nominal
O
Object Oriented Design
P
polynomial
program verification
Prover IDE
R
refinement
Rewriting
S
separation kernel
set-based theorems
Shortest Path
SSReflect
structured proof
Subterm selection
T
theorem proving
Transfer
type-based theorems
V
VCG
verification
verification condition generator