Program of AFM

Wednesday, July 14th

Wednesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Invited Talk
Location: IF 4.31+4.33
09:00 Mark Hillebrand
System Software Verification Using VCC
10:30‑12:00 Session 1
Location: IF 4.31+4.33
10:30 Cliff Jones, Gudmund Grov and Alan Bundy
Ideas for a high-level proof strategy language
11:00 Maria Teresa Llano Rodriguez, Gudmund Grov and Andrew Ireland
Automatic Guidance for Refinement Based Formal Methods
11:30 Aboubakr Achraf El Ghazi and Mana Taghdiri
Analyzing Alloy Constraints using an SMT Solver: A Case Study
14:00‑15:00 Invited Talk
Location: IF 4.31+4.33
14:00 Sam Owre and N. Shankar
Probabilistic Reasoning with PCE
15:30‑17:00 Session 2
Location: IF 4.31+4.33
15:30 Meng Wenrui
Assume-Guarantee for Reachability
16:00 Discussion