600.436
High-Assurance Systems
Fall 01/Introduction
1
The
Software Development Process
¨Identifying the model assumptions for how a “Target of Evaluation” is generated.
¨Understanding the gap between the model and the reality.
¨Tools that are ready to hand.