Issue No. 02 - March (1996 vol. 13)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.506463
<p>Can formal methods be a part of large-system development? The project teams at Praxis used a combination of formal methods to help specify, design, and verify CDIS, a large information-display system within an ATC-support system. Their project suggests that it can be practicable <it>and</it> beneficial.</p>
A. Hall, "Using Formal Methods to Develop an ATC Information System," in IEEE Software, vol. 13, no. , pp. 66-76, 1996.