A question

• Is model checking more like proofs of program correctness or more like testing?

Previous slide

Next slide

Back to first slide

View graphic version