Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs

Ижил төстэй зүйлс

• Relational STE and theorem proving for formal verification of industrial circuit designs
  -н: O'Leary, J, зэрэг
  Хэвлэсэн: (2013)
• A Reflective Functional Language for Hardware Design and Theorem Proving
  -н: Grundy, J, зэрэг
  Хэвлэсэн: (2006)
• A Reflective Functional Language for Hardware Design and Theorem Proving
  -н: Grundy, J, зэрэг
  Хэвлэсэн: (2003)
• Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
  -н: Aagaard, M, зэрэг
  Хэвлэсэн: (1999)
• Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
  -н: Aagaard, M, зэрэг
  Хэвлэсэн: (2000)