Coverage metrics for formal verification

Author： Chockler Hana   Kupferman Orna   Vardi Moshe  

Publisher： Springer Publishing Company

ISSN： 1433-2779

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

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

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Formal Verification for Embedded System Designs

By Chen Xi   Hsieh Harry   Balarin Felice   Watanabe Yosinori  

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 139-153

Springer Publishing Company

Access to resources Recommend Favorite

Formal verification of dependable distributed protocols

By Sinha P.   Ren D.Q.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 873-888

Elsevier

Access to resources Recommend Favorite

Formal verification of component-based designs

By Karlsson Daniel  

Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. : 49-90

Springer Publishing Company

Access to resources Recommend Favorite

Automated formal analysis and verification: an overview

By Křena Bohuslav   Vojnar Tomáš  

International Journal of General Systems, Vol. 42, Iss. 4, 2013-05 ,pp. : 335-365

Taylor & Francis Ltd

Access to resources Recommend Favorite