VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

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

Disclaimer | Powered by EasyChair Smart Program