Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A C D E F G I L O P R S U W

A
Asynchronous communication	A Map of Asynchronous Communication Models
automated refinement	Transformations for Generating Type Refinements
C
category of specifications	Transformations for Generating Type Refinements
coinductive types	Transformations for Generating Type Refinements
concurrent objects	Weakening correctness and linearizability for concurrent objects on multicore processors
Correctness-by-Construction	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
D
Decomposition	Towards a Method for the Decomposition by Refinement in Event-B
E
Event-B	Towards a Method for the Decomposition by Refinement in Event-B A Map of Asynchronous Communication Models
F
Formal Methods	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
Formal verification	A Map of Asynchronous Communication Models
G
garbage collection	Transformations for Generating Type Refinements
I
inductive types	Transformations for Generating Type Refinements
L
linearizability	Weakening correctness and linearizability for concurrent objects on multicore processors
O
Operational semantics	An abstract semantics of speculative execution for reasoning about security vulnerabilities
Out-of-order execution	An abstract semantics of speculative execution for reasoning about security vulnerabilities
P
Post-hoc Verification	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
R
Refinement	Towards a Method for the Decomposition by Refinement in Event-B An abstract semantics of speculative execution for reasoning about security vulnerabilities
refinement morphisms	Transformations for Generating Type Refinements
Refinements of communication models	A Map of Asynchronous Communication Models
S
Security	An abstract semantics of speculative execution for reasoning about security vulnerabilities
specification transformation	Transformations for Generating Type Refinements
Speculative execution	An abstract semantics of speculative execution for reasoning about security vulnerabilities
System Behavior	Towards a Method for the Decomposition by Refinement in Event-B
U
Userstudy	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
W
weak memory models	Weakening correctness and linearizability for concurrent objects on multicore processors