Automated formal analysis and verification: an overview

ISSN： 0308-1079

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

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

Automated formal verification of visual modeling languages by model checking

By Varró Dániel

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 2, 2004-05 ,pp. : 85-113

Springer Publishing Company

Access to resources Recommend Favorite

Coverage metrics for formal verification

By Chockler Hana Kupferman Orna Vardi Moshe

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

Springer Publishing Company

Access to resources Recommend Favorite

Verification of Automated Pack Assembly

By Alton Rosemary

Assembly Automation, Vol. 13, Iss. 1, 1993-12 ,pp. : 24-27

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Developments in automated verification techniques

By Flanagan Cormac König Barbara

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

Springer Publishing Company

Access to resources Recommend Favorite

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