Model checking

• Evaluate temporal properties of finite state systems

• Extremely successfully for hardware verification

• Open question: applicable to software specifications?

Previous slide

Next slide

Back to first slide

View graphic version