REFINE 2019: REFINEMENT WORKSHOP 2019
PROGRAM
Monday, October 7th

View this program: with abstractssession overviewtalk overview

11:00-12:00 Session 1: Invited talk
11:00
Refinement in practice: from an informal description to a formal specification (abstract)
12:00-12:30 Session 2
12:00
Transformations for Generating Type Refinements (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 3
14:00
An abstract semantics of speculative execution for reasoning about security vulnerabilities (abstract)
14:30
Weakening correctness and linearizability for concurrent objects on multicore processors (abstract)
15:00-15:30Coffee Break
15:30-17:00 Session 4
15:30
A Map of Asynchronous Communication Models (abstract)
16:00
Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study (abstract)
16:30
Towards a Method for the Decomposition by Refinement in Event-B (abstract)