Formal verification coverage: computing the coverage gap between temporal specifications.

Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

Browse the full ICCAD paper archive.