Program of MLQA

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