This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Using Formal Methods to Develop an ATC Information System
March 1996 (vol. 13 no. 2)
pp. 66-76

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 and beneficial.

Citation:
Anthony Hall, "Using Formal Methods to Develop an ATC Information System," IEEE Software, vol. 13, no. 2, pp. 66-76, March 1996, doi:10.1109/52.506463
Usage of this product signifies your acceptance of the Terms of Use.