the Software Life Cycle. These include applications by Kestrel and Praxis.
Technology described includes SLAM (Software specification, Language,
Analysis, and Model-checking, which is Microsoft’s model checking tool), the
Standard Annotation Language (SAL), and Fugue.