Discussion
A positive data point for applying model checking to state based software specifications
Iterative use of model checking promising
Refine and debug specification
Explicit clarification of interfaces
Regression testing of specifications
Previous slide
Next slide
Back to first slide
View graphic version