Login / Signup

Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.

Shujun DengWeimin WuJinian Bian
Published in: CSCWD (Selected Papers) (2006)
Keyphrases
  • bounded model checking
  • sat solving
  • model checking
  • formal verification
  • sat solvers
  • linear temporal logic
  • temporal logic
  • genetic algorithm
  • np complete
  • max sat