• VERIFICATION PROOFS TEND TO BE EXTREMELY LARGE

• VERIFICATION PROOFS ARE TEDIOUS

• TO CONTROL THE COMPLEXITY THE REUSE OF SOFTWARE IS SUGGESTED

Previous slide

Next slide

Back to first slide

View graphic version