Validation and Verification
Both hard to achieve in practice
Validation
- JAD (Joint Application Development)
- prototyping
Verification
- typical: thoughtful inspection and testing
- possible: verifiable transformations that preserve
- information
- constraints
- behavior