Integrating Model Checking and Theorem Proving in a Reflective Functional Language

Antzeko izenburuak

• A Reflective Functional Language for Hardware Design and Theorem Proving
  nork: Grundy, J, et al.
  Argitaratua: (2006)
• A Reflective Functional Language for Hardware Design and Theorem Proving
  nork: Grundy, J, et al.
  Argitaratua: (2003)
• Some Research Issues in Higher Order Logic Theorem Proving
  nork: Melham, T
  Argitaratua: (1996)
• Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
  nork: Aagaard, M, et al.
  Argitaratua: (1999)
• A Study Of User Activity In Interactive Theorem Proving
  nork: Aitken, S, et al.
  Argitaratua: (1995)