Potential benefits

• Increased clarity

• Ability to check specifications for internal consistency

• Ability to prove properties about the specification

• Not always worth the effort

Previous slide

Next slide

Back to first slide

View graphic version