Advantages

• Less manual effort required = (< $$$)

• Formal logic = assurance of correctness

  • reduces human error

• Coverage consistency

• Mechanized traceability

• Requirements changes impose minimumre-work

Previous slide

Next slide

Back to first slide

View graphic version