Introductory paper

Highlights from the BMC’03 workshop and more
  • Armin Biere
  • Ofer Strichman
Special section on Bounded Model Checking


Model Check Wine Strategy Symbolic Model Check Bound Model Check Model Check Technique 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Sheeran M, Singh S, Stalmarck G (2000) Checking safety properties using induction and a sat-solver. In: Hunt WA, Johnson SD (eds) Proceedings of the inernational conference on formal methods in computer-aided design (FMCAD 2000)Google Scholar

Copyright information

© Springer-Verlag 2005

Authors and Affiliations

  • Armin Biere
    • 1
  • Ofer Strichman
    • 2
  1. 1.Johannes Kepler UniversityLinzAustria
  2. 2.TechnionHaifaIsrael

Personalised recommendations