600.436 High-Assurance Systems
Fall 01/System Security Realization
16
Formal HLD
¨Same as Semiformal High-level Explanation,, except that
–The presentation of the high-level design shall be formal.