Download tloc - Computer Science

18. K. McMillan. Verification of an implementation of Tomasulo’s algorithm by compositional
model checking. In CAV’98, pages 110–121. LNCS 1427, 1998.
19. A. Pnueli, S. Ruah, and L. Zuck. Automatic deductive verification with invisible invariants.
In TACAS’01, pages 82–97. LNCS 2031, 2001.
20. A. Pnueli, J. Xu, and L. Zuck. Liveness with
-counter abstraction. In CAV’02,
pages 107–122. LNCS 2404, 2002.
21. N. Shankar, S. Owre, and J. Rushby. The PVS proof checker: A reference manual. Technical
report, Comp. Sci.,Laboratory, SRI International, Menlo Park, CA, 1993.
22. L. Zuck, A. Pnueli, and Y. Kesten. Automatic verification of free choice. In Proc. of the
3 workshop on Verification, Model Checking, and Abstract Interpretation, pages 208–224.
LNCS 2294, 2002.
$ $ $ 13