Formal Specification

Why?

? Precise standard to define and validate software.

Why not?

? May be time consuming

? Methods not suitable for all applications

Previous slide

Next slide

Back to first slide

View graphic version