Model checking with bounded context switching

Author： Holzmann Gerard  

Publisher： Springer Publishing Company

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.3, 2011-05, pp. : 365-389

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

Bounded model checking of infinite state systems

By Schuele Tobias   Schneider Klaus  

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 51-81

Springer Publishing Company

Access to resources Recommend Favorite

Accelerating Bounded Model Checking of Safety Properties

By Strichman Ofer  

Formal Methods in System Design, Vol. 24, Iss. 1, 2004-01 ,pp. : 5-24

Springer Publishing Company

Access to resources Recommend Favorite

HySAT: An efficient proof engine for bounded model checking of hybrid systems

By Fränzle Martin   Herde Christian  

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

Springer Publishing Company

Access to resources Recommend Favorite

Efficient distributed SAT and SAT-based distributed Bounded Model Checking

By Ganai Malay   Gupta Aarti   Yang Zijiang   Ashar Pranav  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 387-396

Springer Publishing Company

Access to resources Recommend Favorite

A Bounded Model Checking Approach for the Verification of Web Services Composition

By  

International Journal of Web Services Research (IJWSR), Vol. 10, Iss. 4, 2013-10 ,pp. : 62-81

IGI Global_journal

Access to resources Recommend Favorite