Iterative process

• Iterate SMV version of specification

• Clarify temporal formula

• Model environment more precisely

• Refine specification

Previous slide

Next slide

Back to first slide

View graphic version