Multi-valued symbolic model-checking.

Marsha Chechik Benet Devereux Steve M. Easterbrook Arie Gurfinkel

Published in: ACM Trans. Softw. Eng. Methodol. (2003)

Keyphrases

multi valued
symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
boolean functions
normal form
symbolic representation
temporal logic
model checker
data structure
xml documents
state space
formal specification