1. Technical Report;T. A. Alspaugh,1992
2. R. J. Anderson, P. Beame, et al. Model checking large software specifications. In Proc. Fourth ACM FSE, October 1996. 380
3. M. Archer, C. Heitmeyer, and S. Sims. TAME: A PVS interface to simplify proofs for automata models. In Proc. User Interfaces for Theorem Provers, Eindhoven, Netherlands, July 1998. Eindhoven University CS Technical Report. 380, 387
4. Lect Notes Comput Sci;C. Barrett,1996
5. S. Bensalem and Y. Lakhnech. Automatic Generation of Invariants. Formal Methods in Systems Design, July 1998. 379, 380