Abstract property language for MDG model checking methodology

Author： Abed Sa'ed Hussain Kamran Ait-Mohamed Otmane

ISSN： 0952-8091

Source： International Journal of Computer Applications in Technology, Vol.44, Iss.1, 2012-07, pp. : 23-36

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

MDG-SAT: an automated methodology for efficient safety checking

By Hoque Khaza Anuarul

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 4-25

Inderscience Publishers

Access to resources Recommend Favorite

Refining Model Checking by Abstract Interpretation

By Cousot P.

Automated Software Engineering, Vol. 6, Iss. 1, 1999-01 ,pp. : 69-95

Springer Publishing Company

Access to resources Recommend Favorite

Counter-example generation in symbolic abstract model-checking

By Pace Gordon Halbwachs Nicolas Raymond Pascal

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 158-164

Springer Publishing Company

Access to resources Recommend Favorite

αSPIN: A tool for abstract model checking

By del Mar Gallardo María Martínez Jesús Merino Pedro Pimentel Ernesto

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 165-184

Springer Publishing Company

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