| BMC'06 | 4th International workshop on Bounded Model Checking Seattle, August 15, 2006 |
Program
All sessions will take place in Suite 2928 unless otherwise indicated.
Tuesday, August 15th
Tuesday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Competitions
Chair:
Joćo Marques-Silva
Location:
Metropolitan B
| 09:00 | Carsten Sinz
SAT-Race |
| 09:20 | Olivier Roussel
Pseudo Boolean Evaluation |
| 09:40 | Armando Tacchella
QBF Evaluation |
10:00‑10:30 Break
10:30‑11:30 Session 2: Invited Talk
| 10:30 | Ilkka Niemela Bounded Model Checking, Answer Set Programming, and Fixed Points [pdf] |
11:30‑12:30 Session 3: Technical Papers
| 11:30 | Joao Marques-Silva
Interpolant Learning and Reuse in SAT-Based Model Checking |
| 12:00 | Toni Jussila and Armin Biere
Compressing BMC Encodings with QBF |
12:30‑14:00 Lunch break
14:00‑15:00 Session 4: Invited Talk
| 14:00 | Fabio Somenzi Techniques for proving properties with SAT-based MC [pdf] |
15:00‑15:30 Session 5: Technical Paper
| 15:00 | Erika Abraham
, Bernd Becker
and Marc Herbstritt
Bounded Model Checking with Parametric Data Structures |
15:30‑16:00 Break
16:00‑17:00 Session 6: Technical Papers
