Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C D E F H L M P S U V W

A
Abstract State Machines	Addressing usability in a formal development environment
ASMETA	Addressing usability in a formal development environment
assistive technology	Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
automated proof	The Bourgeois Gentleman, Engineering and Formal Methods
Automatic Code Generation	SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
B
B method	The Bourgeois Gentleman, Engineering and Formal Methods
build tools	Compiling C and C++ Programs for White-Box Analysis
C
C++	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
code review	Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
compilation	Compiling C and C++ Programs for White-Box Analysis
concurrency	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
D
data structures	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
dynamic analysis	Compiling C and C++ Programs for White-Box Analysis
E
Event-B	SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
F
Formal Methods	Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX Addressing usability in a formal development environment
H
hash table	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
L
lock-free programming	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
M
model checking	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table Compiling C and C++ Programs for White-Box Analysis
P
Program Verification	SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
S
safety platform	The Bourgeois Gentleman, Engineering and Formal Methods
shared memory	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
software configuration management	Compiling C and C++ Programs for White-Box Analysis
U
unit testing	Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
Usability	Addressing usability in a formal development environment
V
verification	Compiling C and C++ Programs for White-Box Analysis
visually impaired or blind	Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
W
white-box analysis	Compiling C and C++ Programs for White-Box Analysis