Using formal methods to develop an ATC information system
Anthony J W Hall · IEEE Software · 1996
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 on ATC support system. Their project suggests that it can be practicable and beneficial.