Symmetry reductions for model checking of concurrent dynamic software

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.6, Iss.4, 2004-08, pp. : 302-319

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

Checking JML specifications using an extensible software model checking framework

By Rodríguez Edwin Dwyer Matthew Hatcliff John

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 280-299

Springer Publishing Company

Access to resources Recommend Favorite

Software model checking without source code

By Chaki Sagar

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 233-242

Springer Publishing Company

Access to resources Recommend Favorite

Model checking aircraft controller software: a case study

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 7, 2015-07 ,pp. : 989-1017

John Wiley & Sons Inc

Access to resources Recommend Favorite

VXWORKS系统并发程序动态测试工具设计The Design of Dynamic Checking Tool for VXWORKS Systems Concurrent Program

By 梁昊艾云峰沈怀荣赵永超

Software Engineering and Applications, Vol. 3, Iss. 3, 2014-06 ,pp. : 86-96

汉斯出版社

Access to resources Recommend Favorite

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

By Barner Sharon Grumberg Orna

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 29-66

Springer Publishing Company

Access to resources Recommend Favorite