Login / Signup

Improved SAT Based Bounded Model Checking.

Conghua ZhouDecheng Ding
Published in: TAMC (2006)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • finite state
  • optimal solution
  • knowledge representation
  • modal logic