Login / Signup

Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving.

Lydia JaßPaula Herber
Published in: IESS (2015)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • model checker
  • bounded model checking
  • artificial intelligence
  • symbolic model checking
  • modulo theories
  • satisfiability modulo theories