Symbolic model checking of UML activity diagrams.

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

Keyphrases

uml activity diagrams
symbolic model checking
model checking
partial observability
formal verification
business process models
symbolic representation
graphical representation
model checker
binary decision diagrams
database
formal methods