Journal ArticleOPEN ACCESS

Software model checking takes off

Communications of the ACM (2010) 53(2) 58-64
DOI: 10.1145/1646353.1646372
119Citations
Citations of this article
63Readers
Mendeley users who have this article in their library.

Abstract

A translator framework enables the use of model checking in complex avionics systems and other industrial settings. © 2010 ACM.

Cite

CITATION STYLE

APA

Miller, S. P., Whalen, M. W., & Cofer, D. D. (2010). Software model checking takes off. Communications of the ACM, 53(2), 58–64. https://doi.org/10.1145/1646353.1646372

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free