Software model checking without source code

ISSN： 1614-5046

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

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

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

Model checking aircraft controller software: a case study

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

John Wiley & Sons Inc

Access to resources Recommend Favorite

Assuring property conformance of code generators via model checking

By Jörges Sven

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 589-606

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