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 |