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

Model checking with bounded context switching

By Holzmann Gerard  

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

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

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