“I find that a great part of the information I have was acquired by looking up something and finding something else on the way.”

 --(Franklin P. Jones, 1853-1935)

[biblio001] M. Abadi,, and L. Lamport. [1991]. “The existence of refinement mappings.” Theoretical Computer Science. May 1991. Vol. 82, No. 2, pp. 253–284.

[biblio002] B. Alpern, and F. B. Schneider. [1985]. “Defining liveness.” Information Processing Letters. Oct. 1985. Vol. 21, No. 4, pp. 181–185.

[biblio003] B. Alpern, and F. B. Schneider. [1987]. “Recognizing safety and liveness.” Distributed Computing. Vol. 2, pp. 117–126.

[biblio004] T. Ball,, R. Majumdar, T. Millstein, and S. K. Rajamani. [2001]. “Automatic Predicate Abstraction of C Programs.” SIGPLAN Notices. Vol. 36 ...

Get Spin Model Checker, The: Primer and Reference Manual now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.