AFFORD19: WORKSHOP ON PRACTICAL FORMAL VERIFICATION FOR SOFTWARE DEPENDABILITY
TALK AUTHOR INDEX
Shortcuts: ABDGLMRS
A
Arcaini, Paolo
Addressing usability in a formal development environment
B
Banach, Richard
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
Baranová, Zuzana
Compiling C and C++ Programs for White-Box Analysis
Bonfanti, Silvia
Addressing usability in a formal development environment
Butler, Michael
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
D
Dalvandi, Mohammadsadegh
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
Debicki, Olivier
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
G
Gargantini, Angelo
Addressing usability in a formal development environment
L
Lecomte, Thierry
The Bourgeois Gentleman, Engineering and Formal Methods
Lesecq, Suzanne
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
M
Masci, Paolo
Experiences with Streamlining Formal Methods Tools
R
Razavi, Joseph
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
Riccobene, Elvinia
Addressing usability in a formal development environment
Ročkai, Petr
Compiling C and C++ Programs for White-Box Analysis
Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
S
Scandurra, Patrizia
Addressing usability in a formal development environment