A survey of recent advances in SAT-based formal verification

Mukul R. Prasad, Armin Biere, Aarti Gupta

Research output: Contribution to journalReview articlepeer-review

197 Scopus citations

Fingerprint

Dive into the research topics of 'A survey of recent advances in SAT-based formal verification'. Together they form a unique fingerprint.

Engineering & Materials Science