PROGRAM
Monday, October 7th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Keynote: Wolfgang Ahrendt
| 09:00 | What is KeY's key to software verification? (abstract) |
10:00-10:30Coffee Break
10:30-12:30 Session 2: Verification
| 10:30 | Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis (abstract)  |
| 11:00 | Automated deductive verification for Ladder programming (abstract) |
| 11:30 | Deeply Integrating C11 Code Support into Isabelle/PIDE (abstract) |
| 12:00 | A component-based formal language workbench (abstract) |
12:30-14:00Lunch Break
14:00-15:00 Session 3: Proof Systems
| 14:00 | An Integrated Development Environment for the Prototype Verification System (abstract) |
| 14:30 | The TLA+ Toolbox (abstract) |
15:00-15:30Coffee Break
15:30-16:30 Session 4: Simulation
| 15:30 | Simulation under arbitrary temporal logic constraints (abstract) |
| 16:00 | Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability (abstract) |