PROGRAM
Monday, October 7th
View this program: with abstractssession overviewtalk overview
11:00-12:00 Session 1: Invited talk
Chair:
11:00 | Refinement in practice: from an informal description to a formal specification (abstract) |
12:30-14:00Lunch Break
14:00-15:00 Session 3
Chair:
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
Chair:
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) |