600.436 High-Assurance
Systems
Fall 01/Protection Profiles
11
Specification Formalism
¨Informal
– Natural Language Prose
¨Semi-Formal
– Restricted Natural Language
–Precise,
consistent definition and use of terms
–Stereotyped
use of grammar
¨Formal
– Specialized Specification Language That
–Is
unambiguous and precise
–Facilitates reasoning about the correctness of implementations
of the specification