Login / Signup

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.

Sergey BerezinArmin BiereEdmund M. ClarkeYunshan Zhu
Published in: FMCAD (1998)
Keyphrases
  • model checking
  • symbolic model checking
  • knowledge base
  • domain specific
  • real valued