Efficient distributed SAT and SAT-based distributed Bounded Model Checking

Author： Ganai Malay   Gupta Aarti   Yang Zijiang   Ashar Pranav  

Publisher： Springer Publishing Company

ISSN： 1433-2779

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

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

Related content

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

Distributed SAT

By Ruiz Esmeralda  

Artificial Intelligence Review, Vol. 35, Iss. 3, 2011-03 ,pp. : 265-285

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

Distributed disk-based algorithms for model checking very large Markov chains

By Bell Alexander   Haverkort Boudewijn  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 177-196

Springer Publishing Company

Access to resources Recommend Favorite

Distributed breadth-first search LTL model checking

By Barnat Jiří   Černá Ivana  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 117-134

Springer Publishing Company

Access to resources Recommend Favorite