Login / Signup

Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study.

Ásgeir Th. EiríkssonKenneth L. McMillan
Published in: CAV (1995)
Keyphrases
  • formal verification
  • case study
  • critical path
  • special case
  • design process
  • search space
  • np hard
  • model checking
  • automated verification