Hierarchical Development Methodology (HDM)
- A formal specification and verification methodology developed at SRI International. HDM is based on a nonprocedural, state transition specification language, SPECIAL, and provides a security flow analysis tool, MLS, for verifying the multilevel security properties of a user-interface specification. (MTR-8201;)
- A software development methodology which makes use of the language SPECIAL to formally prove design specifications. SPECIAL is a language developed by SRI International. (NCSC-WA-001-85;)