Login / Signup

Behavioral consistency of C and verilog programs using bounded model checking.

Edmund M. ClarkeDaniel KroeningKaren Yorav
Published in: DAC (2003)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • hardware designs
  • temporal logic
  • linear temporal logic
  • consistency checking
  • multi agent systems
  • constraint networks
  • optimal policy
  • answer sets