1. An incremental approach to model checking progress properties;bradley;Proc Formal Methods in Computer Aided Design (FMCAD),2011
2. FVP: a formal verification platform for SoC
3. Formal verification coverage: Computing the coverage gap between temporal specifications;basu;Proc International Conference on Computer-Aided Design (ICCAD),2004
4. Incremental model checking in the modal mu-calculus
5. Verification case studies: Evolution from SVA 2005 to SVA 2009;cerny;Proc Design and Verification Conf (DVCon),2009