Software model checking takes off

Communications of the ACM

Volumn 53, Issue 2, 2010, Pages 58-64

  Miller, Steven P ^a   Whalen, Michael W ^b   Cofer, Darren D ^a  

^a ROCKWELL COLLINS   (United States)

^b UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX AVIONICS; INDUSTRIAL SETTINGS; SOFTWARE MODEL CHECKING;

MODEL CHECKING;

EID: 75749093651     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1646353.1646372     Document Type: Article

References (13)

1. Clarke, E., Grumberg, O. and Peled, D. Model Checking. The MIT Press, Cambridge, MA, 2001.
2. Esterel Technologies. SCADE Suite Product Description; http://www.estereltechnolgies.com/
3. Halbwachs, N., Caspi, P., Raymond, P and Pilaud, D. The synchronous datafow programming language Lustre. In Proceedings of the IEEE 79, 9 (1991) 1305-1320.
4. Holzmann, G. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
5. IRST. The NuSMV Model Checker; http://nusmv.irst.itc.it/
6. The Mathworks Simulink Product Description; http:// www.mathworks.com/
7. Miller, S., Anderson, E., Wagner, L., Whalen, M. and Heimdahl, M.P.E. Formal verifcation of fight critical software. In Proceedings of the AIAA Guidance, Navigation and Control Conference and Exhibit (San Francisco, CA, Aug. 15-18, 2005).
8. Miller, S., Tribble, A., Whalen, M. and Heimdahl, M.P.E. Proving the Shalls. International Journal on Software Tools for Technology Transfer (Feb. 2006).
9. Prover Technology. Prover Plug-In Product Description; http://www.prover.com/
10. Reactive Systems, Inc.; http://www.reactive-systems.com/
11. SRI International. Symbolic Analysis Laboratory; http://sal.csl.sri.com/
12. Whalen, M., Cofer, D., Miller, S. Krogh, B., and Storm, W. Integration of formal analysis into a model-based software development process. In Proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems (Berlin, Germany, July 1-2, 2007).
13. Whalen, M., Innis, J., Miller, S. and Wagner, L. ADGS-2100 Adaptive Display & Guidance System Window Manager Analysis. NASA Contractor Report CR-2006-213952 (Feb. 2006); http://shemesh.larc.nasa.gov/fm/ fm-collins-pubs.html/