CAV on Thursday, July 15th

09:00‑10:00 Tutorial 1
Chair: Paul Jackson
Location: AT LT4
09:00 Robert Brayton
ABC: An Academic Industrial-Strength Verification Tool
11:00‑12:30 Tutorial 2
Chair: Bob Kurshan
Location: AT LT4
11:00 Ken McMillan
Software Model Checking (TBC)
14:00‑15:00 Tutorial 3
Chair: Tayssir Touili
Location: AT LT4
14:00 Thomas Reps
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
16:00‑17:30 Tutorial 4
Chair: Byron Cook
Location: AT LT4
16:00 Andrey Rybalchenko
Constraint Solving for Program Verification: Theory and Practice by Example