RCL: A lisp verification system

  • Matt Kaufmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)


  1. [1]
    Guy L. Steele Jr., Common LISP: The Language, Digital Press, 1984.Google Scholar
  2. [2]
    M. Kaufmann, “A User's Manual for RCL”, Internal Note 157, Computational Logic, Inc., October 1989.Google Scholar
  3. [3]
    R. S. Boyer and J S. Moore, A Computational Logic Handbook, Academic Press, Boston, 1988.Google Scholar
  4. [4]
    M. Kaufmann, “A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover”, Technical Report 19, Computational Logic, Inc., May 1988.Google Scholar
  5. [5]
    W. Bevier, “A Library for Hardware Verification”, Internal Note 57, Computational Logic, Inc., June 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Matt Kaufmann
    • 1
  1. 1.Computational Logic, Inc.AustinUSA

Personalised recommendations