Two Rules

? Formal specification does not guarantee correctness

? Formal specification does not prescribe the implementation

Previous slide

Next slide

Back to first slide

View graphic version