Proof-based coverage metrics for formal verification

Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Heimdahl, Lucas Wagner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Fingerprint Dive into the research topics of 'Proof-based coverage metrics for formal verification'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science