VERISURE 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A C E F G H I L M N P R S V W

A
Argument	Assurance and Verification of Security Properties (PDF, talk)
argumentation	Balancing the Formal and Informal in Safety Case Arguments (PDF, talk)
assurance	Assurance and Verification of Security Properties (PDF, talk)
assurance case	Assurance and Verification of Security Properties (PDF, talk)
Assurance cases	Balancing the Formal and Informal in Safety Case Arguments (PDF, talk)
C
claim	Assurance and Verification of Security Properties (PDF, talk)
code verification	Assurance and Verification of Security Properties (PDF, talk)
compiler verification	Witnessing an SSA Transformation (PDF, talk)
coverage metrics	Quantification of Verification Progress (PDF, talk)
E
embedded systems	Assurance and Verification of Security Properties (PDF, talk)
evidence	Assurance and Verification of Security Properties (PDF, talk)
F
fault-tolerant computing	Assurance of some system reliability characteristics in formal design verification (PDF, talk)
formal methods	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
Formal Verification	Assurance and Verification of Security Properties (PDF, talk)
G
graphical specification patterns	A Graphical Notation for Probabilistic Specifications (PDF, talk)
H
high assurance	Assurance and Verification of Security Properties (PDF, talk)
Human-computer interaction	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
I
incremental verification	Quantification of Verification Progress (PDF, talk)
Isabelle/HOL	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
L
logic	Balancing the Formal and Informal in Safety Case Arguments (PDF, talk)
M
Markov Chain	Assurance of some system reliability characteristics in formal design verification (PDF, talk)
Model-Based System Development	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
N
noninterference	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
P
probabilistic model checking	Assurance of some system reliability characteristics in formal design verification (PDF, talk)
program verification	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
R
refinement	Witnessing an SSA Transformation (PDF, talk)
refinement relation	Introducing Semi-Formal Specifications into a Distributed Development Process (PDF, talk)
S
Security	Assurance and Verification of Security Properties (PDF, talk)
semi-formal specification	Introducing Semi-Formal Specifications into a Distributed Development Process (PDF, talk)
separation kernels	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
Software Verification	Quantification of Verification Progress (PDF, talk)
specification	A Graphical Notation for Probabilistic Specifications (PDF, talk)
specification patterns	A Graphical Notation for Probabilistic Specifications (PDF, talk)
statecharts	Introducing Semi-Formal Specifications into a Distributed Development Process (PDF, talk)
V
verification	A Graphical Notation for Probabilistic Specifications (PDF, talk)
W
witness	Witnessing an SSA Transformation (PDF, talk)