Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.

Shujun Deng Weimin Wu Jinian Bian

Published in: CSCWD (2006)

Keyphrases

sat solving
bounded model checking
cooperative
model checking
multi agent systems
formal verification
sat solvers
linear temporal logic
temporal logic
boolean satisfiability
multi agent
sat problem
lower bound
upper bound
orders of magnitude
max sat
sat encodings