On Applying Model Checking in Formal Verification.

Hkan Hjort

Browse the full FMCAD paper archive.