C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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