Survey of Existing Tools for Formal Verification. | Zendy

Ratish J. Punnoose | Zendy; Robert E. Armstrong | Zendy; Matthew H. Wong | Zendy; M. I. Jackson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Survey of Existing Tools for Formal Verification.

Author(s) -

Ratish J. Punnoose,

Robert E. Armstrong,

Matthew H. Wong,

M. I. Jackson

Publication year - 2014

Publication title -

osti oai (u.s. department of energy office of scientific and technical information)

Language(s) - English

Resource type - Reports

DOI - 10.2172/1166644

Subject(s) - computer science , workflow , formal methods , software engineering , formal verification , set (abstract data type) , systems engineering , database , programming language , engineering

Formal methods have come into wide use because of their effectiveness in verifying %22safety and security%22 requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research