Ina Jo (formal Development Methodology)
- System Development Corporation's specification and verification methodology, based on a nonprocedural state-transition specification language, Ina Jo. The Ina Jo methodology incorporates user-supplied invariants to produce a formal demonstration that security properties are met. (MTR-8201;)