Models enable automatic generation of software with guaranteed properties. Additionally, the same model may be used to construct the system and to gauge its performance when it runs. The two Principle Investigators have extensive experience using formal models to solve practical software development problems. In addition, it also developed tools to perform both static and dynamic program analysis to determine properties of those systems. We intend to apply our technology directly to military requirements.
Operations planning is a well-defined process for which documentation and training materials exist.