Model checking aircraft controller software: a case study

E-ISSN： 1097-024x|45|7|989-1017

ISSN： 0038-0644

Source： SOFTWARE:PRACTICE AND EXPERIENCE, Vol.45, Iss.7, 2015-07, pp. : 989-1017

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Checking JML specifications using an extensible software model checking framework

By Rodríguez Edwin Dwyer Matthew Hatcliff John

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 280-299

Springer Publishing Company

Access to resources Recommend Favorite

Software model checking without source code

By Chaki Sagar

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 233-242

Springer Publishing Company

Access to resources Recommend Favorite

Symmetry reductions for model checking of concurrent dynamic software

By Iosif Radu

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 302-319

Springer Publishing Company

Access to resources Recommend Favorite

Compositional model checking of software product lines using variation point obligations

By Liu Jing

Automated Software Engineering, Vol. 18, Iss. 1, 2011-03 ,pp. : 39-76

Springer Publishing Company

Access to resources Recommend Favorite

Developing a software size model for rule-based systems: a case study

By Moores T.T.

Expert Systems with Applications, Vol. 21, Iss. 4, 2001-11 ,pp. : 229-237

Elsevier

Access to resources Recommend Favorite