Dos and don'ts of CTL state coverage estimation.

Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi

Browse the full DAC paper archive.