Compositional model checking of software product lines using variation point obligations

ISSN： 0928-8910

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

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

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

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

By Angeletti Damiano Giunchiglia Enrico Narizzano Massimo Puddu Alessandra Sabina Salvatore

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 397-414

Springer Publishing Company

Access to resources Recommend Favorite