Friday, July 9th
Friday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Session 1
Location: IF G.03
| 09:00 | Bernhard Steffen From the How to the What: Static Analysis via Model Checking |
| 09:30 | Flemming Nielson Model Checking is Static Analysis of Modal Logic |
10:30‑12:30 Session 2
Location: IF G.03
| 10:30 | Marta Kwiatkowska Quantitative Abstraction Refinement |
| 11:00 | Joost-Pieter Katoen Invariant Generation for Probabilistic Programs |
| 11:30 | Marsha Chechik / Arie Gurfinkel Partial Models and Software Model-Checking |
| 12:00 | Orna Grumberg The 2-Valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking. |
14:00‑15:00 Session 3
Location: IF G.03
| 14:00 | David Monniaux Policy Iteration for Static Analysis |
| 14:30 | Michael Huth From Validating Quantitative Models to Generating Valid Ones |
15:30‑17:00 Session 4
Location: IF G.03
| 15:30 | MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations |