A Reflective Functional Language for Hardware Design and Theorem Proving

Benzer Materyaller

• A Reflective Functional Language for Hardware Design and Theorem Proving
  Yazar:: Grundy, J, ve diğerleri
  Baskı/Yayın Bilgisi: (2003)
• Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
  Yazar:: O'Leary, J, ve diğerleri
  Baskı/Yayın Bilgisi: (2013)
• Relational STE and theorem proving for formal verification of industrial circuit designs
  Yazar:: O'Leary, J, ve diğerleri
  Baskı/Yayın Bilgisi: (2013)
• Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
  Yazar:: Aagaard, M, ve diğerleri
  Baskı/Yayın Bilgisi: (1999)
• Integrating Model Checking and Theorem Proving in a Reflective Functional Language
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (2004)