Formalization of Abstract State Transition Systems for SAT

Filip Maric Predrag Janicic

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
search algorithm
practical reasoning
state space
control flow
model checker
object oriented
distributed systems