The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
CITATION
Anthony Hall, "Using Formal Methods to Develop an ATC Information System", IEEE Software, vol. 13, no. , pp. 66-76, March 1996, doi:10.1109/52.506463
105 ms
(Ver 3.1 (10032016))