Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.

Tommi A. Junttila Jori Dubrovin

Published in: LPAR (2008)

Keyphrases

bounded model checking
satisfiability modulo theories
model checking
formal verification
modulo theories
temporal logic
linear temporal logic
answer set programming
sat solvers
learning algorithm
search algorithm
multi agent systems
satisfiability problem