1. R. Armoni, L. Fix, A. Flaisher, O. Grumberg, N. Piterman, A. Tiemeyer, and M.Y. Vardi, “Enhanced vacuity detection in linear temporal logic,” in Proceedings of 15th International Conference in Computer Aided Verification (CAV), vol. 2725 of Lecture Notes in Computer Science, Springer, 2003. pp. 368–380.
2. D. Beaty and R. Bryant, “Formally verifying a microprocessor using a simulation methodology,” in Proc. 31st Design Automation Conference, IEEE Computer Society, 1994, pp. 596–602.
3. I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh, “Efficient detection of vacuity in ACTL formulas,” Form. Meth. in Sys. Des., Vol. 18, No. 2, pp. 141–163, 2001.
4. J.P. Bergmann and M.A. Horowitz, “Improving coverage analysis and test generation for large designs,” In IEEE International Conference for Computer-Aided Design, Nov. 1999, pp. 580–584.
5. D. Bustan, A. Flaisher, O. Grumberg, O. Kupferman, and M.Y. Vardi, “Regular vacuity,” in 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, volume 3725 of Lecture Notes in Computer Science, Springer-Verlag, 2005, pp. 191–206.