Login / Signup

Formal Verification of Out-of-Order Execution Using Incremental Flushing.

Jens U. SkakkebækRobert B. JonesDavid L. Dill
Published in: CAV (1998)
Keyphrases
  • formal verification
  • data sets
  • neural network
  • orders of magnitude
  • artificial intelligence
  • decision trees
  • database systems
  • domain independent
  • dynamical systems
  • model checker