Multi-core and/or Symbolic Model Checking.

Tom van Dijk Alfons Laarman Jaco van de Pol

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
symbolic representation
state space
temporal logic
model checker
constraint satisfaction problems
formal specification