Symbolic Model Checking for Asynchronous Boolean Programs.

Byron Cook Daniel Kroening Natasha Sharygina

Published in: SPIN (2005)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
symbolic representation
conformant planning
boolean functions
real valued
model checker
temporal logic
planning domains
artificial intelligence
planning problems
formal specification
finite state