CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.

Ansuman Banerjee, Kausik Datta, Pallab Dasgupta

Browse the full ATVA paper archive.