600.436 High-
Assurance Systems
Fall 01/System Security Realization
27
Formal Low Level Design
¨
The presentation of the low-level design
shall be
formal
.
