Related content

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

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

From NuSMV to SPIN: Experiences with model checking flight guidance systems

By Choi Yunja  

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 199-216

Springer Publishing Company

Access to resources Recommend Favorite

Game-theoretic simulation checking tool

By Bulychev P.  

Programming and Computer Software, Vol. 37, Iss. 4, 2011-07 ,pp. : 200-209

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite