BMC'05

Home

Scope

Program

Proceedings

Organization

Call for Papers

Program

Sunday, 11. July 2005


Program in pdf
  • [8:45-9:00 am ] Introduction and Welcome
  • [9:00 am-10:00 am] Session I

    Invited talk: Experiences with QBF Solvers (slides)\\ Sharad Malik

  • [10:00 am-10:30 am] Coffee Break
  • [10:30 am-12:30 am] Session II
    • Bounded Model checking for all Regular Properties (slides)\\ Jehle, Johannsen, Lange, Rachinsky
    • Using Satisfiability Modulo Theories for Inductive Verification of LUSTRE programs (slides)\\ Franzen
    • Adaptive Application of SAT Solving Techniques (slides) \\ Shacham, Yorav
  • [12:30 am-2:00 pm] Lunch Break
  • [2:00 pm-3:30 pm] Session III
    • Termination Criteria for Bounded Model Checking: Extensions and Comparison (slides) \\ Awedh, Somenzi
    • Supporting SAT based BMC on Finite Path Models (slides) \\ Geist, Ginzburg, Lustig, Shacham, Rabinovitz, Tzoref
    • Computing Over­-Approximations with Bounded Model Checking (slides) \\ Kroening