Login / Signup
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.
Yousra Bendaly Hlaoui
Leila Jemni Ben Ayed
Published in:
NOTERE (2010)
Keyphrases
</>
symbolic model checking
formal verification
uml activity diagrams
workflow models
model checking
model checker
partial observability
petri net
business process
temporal logic
binary decision diagrams
database systems
formal methods