PROGRAM
Monday, October 7th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Keynote
| 09:00 | Experiences with Streamlining Formal Methods Tools (abstract) |
10:30-12:30 Session 2: Regular Papers
| 10:30 | The Bourgeois Gentleman, Engineering and Formal Methods (abstract) |
| 11:00 | SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B (abstract) |
| 11:30 | Compiling C and C++ Programs for White-Box Analysis (abstract) |
| 12:00 | Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table (abstract) |
14:00-15:00 Session 3: Regular Papers
| 14:00 | Addressing usability in a formal development environment (abstract) |
| 14:30 | Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX (abstract) |