Login / Signup

Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution.

Robert B. JonesJens U. SkakkebækDavid L. Dill
Published in: FMCAD (1998)
Keyphrases
  • formal verification
  • bounded model checking
  • information systems
  • semi automatic