Refining Model Checking by Abstract Interpretation

ISSN： 0928-8910

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

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

Abstract property language for MDG model checking methodology

By Abed Sa'ed Hussain Kamran Ait-Mohamed Otmane

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

Inderscience Publishers

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

Model Checking with Strong Fairness

By Kesten Yonit Pnueli Amir Raviv Li-On Shahar Elad

Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. : 57-84

Springer Publishing Company

Access to resources Recommend Favorite

Trail-Directed Model Checking

By Edelkamp S. Lluch-Lafuente A. Leue S.

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. : 1-14

Elsevier

Access to resources Recommend Favorite