Model Checking Complete Requirements Specifications Using Abstraction

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.6, Iss.1, 1999-01, pp. : 37-68

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

Model Checking Interactor Specifications

By Campos J.C.

Automated Software Engineering, Vol. 8, Iss. 3-4, 2001-08 ,pp. : 275-310

Springer Publishing Company

Access to resources Recommend Favorite

ANALOGICAL REUSE OF REQUIREMENTS SPECIFICATIONS: A COMPUTATIONAL MODEL

By Spanoudakis George Constantopoulos Panos

Applied Artificial Intelligence, Vol. 10, Iss. 4, 1996-07 ,pp. : 281-305

Taylor & Francis Ltd

Access to resources Recommend Favorite

Using induction and rewriting to verify and complete parameterized specifications

By Bouhoula A.

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 245-276

Elsevier

Access to resources Recommend Favorite

Analysing a stream authentication protocol using model checking

By Hopcroft Philippa Lowe Gavin

International Journal of Information Security (IJIS), Vol. 3, Iss. 1, 2004-10 ,pp. : 2-13

Springer Publishing Company

Access to resources Recommend Favorite