Why might it fail?

• Software is often specified with infinite state descriptions

• Software specifications may be structured differently from hardware specifications

  • Hierarchy
  • Representations and algorithms for model checking may not scale

Previous slide

Next slide

Back to first slide

View graphic version