Simple Yet Efficient Improvements of SAT Based Bounded Model Checking.

Emmanuel Zarpas

Published in: FMCAD (2004)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
general purpose
neural network
search space
state space