Data structures for symbolic multi-valued model-checking

Author： Chechik Marsha   Gurfinkel Arie   Devereux Benet   Lai Albert   Easterbrook Steve  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.29, Iss.3, 2006-11, pp. : 295-344

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

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

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif  

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

Inderscience Publishers

Access to resources Recommend Favorite

Computable fixpoints in well-structured symbolic model checking

By Bertrand N.   Schnoebelen P.  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 233-267

Springer Publishing Company

Access to resources Recommend Favorite

Probabilistic symbolic model checking with PRISM: a hybrid approach

By Kwiatkowska Marta   Norman Gethin   Parker David  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 2, 2004-08 ,pp. : 128-142

Springer Publishing Company

Access to resources Recommend Favorite

Modular Verification of Open Features Using Three-Valued Model Checking

By Li Harry  

Automated Software Engineering, Vol. 12, Iss. 3, 2005-07 ,pp. : 349-382

Springer Publishing Company

Access to resources Recommend Favorite