Benefits of Using Formal Specifications and Methods
higher quality software
verifiability of implementation
insight and understanding
minimized maintenance and cost
automated assistance
simulation, animation, execution
formal analysis
guidance for testing
transformation technology
reduced liability and risks
standard satisfaction
Previous slide
Next slide
Back to first slide
View graphic version