Verification of SpecC using predicate abstraction

Author： Clarke Edmund   Jain Himanshu   Kroening Daniel  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.30, Iss.1, 2007-02, pp. : 5-28

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

Abstraction and composition: a verification method for co-operating systems

By Ochsenschläger Peter   Repp Jürgen   Rieke Roland  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 447-459

Taylor & Francis Ltd

Access to resources Recommend Favorite

Design, synthesis and verification of a smart imaging core using SystemC

By Kruijtzer Wido   Reyes Victor   Gehrke Winfried  

Design Automation for Embedded Systems, Vol. 10, Iss. 2-3, 2005-09 ,pp. : 127-155

Springer Publishing Company

Access to resources Recommend Favorite

Closed-loop verification of medical devices with model abstraction and refinement

By Jiang Zhihao   Pajic Miroslav   Alur Rajeev   Mangharam Rahul  

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 191-213

Springer Publishing Company

Access to resources Recommend Favorite

Model Checking Complete Requirements Specifications Using Abstraction

By Bharadwaj R.  

Automated Software Engineering, Vol. 6, Iss. 1, 1999-01 ,pp. : 37-68

Springer Publishing Company

Access to resources Recommend Favorite

Robot planning and re-planning using decomposition, abstraction, deduction, and prediction

By Vendrell E.   Mellado M.   Crespo A.  

Engineering Applications of Artificial Intelligence, Vol. 14, Iss. 4, 2001-08 ,pp. : 505-518

Elsevier

Access to resources Recommend Favorite