A Reflective Functional Language for Hardware Design and Theorem Proving

Ähnliche Einträge

• A Reflective Functional Language for Hardware Design and Theorem Proving
  von: Grundy, J, et al.
  Veröffentlicht: (2006)
• Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
  von: O'Leary, J, et al.
  Veröffentlicht: (2013)
• Relational STE and theorem proving for formal verification of industrial circuit designs
  von: O'Leary, J, et al.
  Veröffentlicht: (2013)
• Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
  von: Aagaard, M, et al.
  Veröffentlicht: (1999)
• Integrating Model Checking and Theorem Proving in a Reflective Functional Language
  von: Melham, T
  Veröffentlicht: (2004)