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

ISSN： 0925-9856

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

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

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

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

MDG-SAT: an automated methodology for efficient safety checking

By Hoque Khaza Anuarul

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

Inderscience Publishers

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