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 proceeding › Conference contribution
16
Link opens in a new tab
Scopus
citations