VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: ACEFGHILMNPRSVW
A
Argument
Argumentation
assurance
assurance case
Assurance cases
C
claim
code verification
compiler verification
coverage metrics
E
embedded systems
evidence
F
fault-tolerant computing
formal methods
Formal verification
G
graphical specification patterns
H
high assurance
Human-computer interaction
I
incremental verification
Isabelle/HOL
L
logic
M
Markov Chain
Model-Based System Development
N
noninterference
P
Probabilistic Model Checking
program verification
R
refinement
refinement relation
S
Security
semi-formal specification
separation kernels
Software Verification
specification
specification patterns
statecharts
V
verification
W
witness