Read, Write and Copy Dependencies for Symbolic Model Checking.

Jeroen Meijer Gijs Kant Stefan Blom Jaco van de Pol

Published in: Haifa Verification Conference (2014)

Keyphrases

read write
symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
flash memory
symbolic representation
planning domains
model checker
database operations
artificial intelligence
external memory
file system
planning problems
temporal logic
database systems