Formal Verification of Dynamic UML Diagrams using TLA+.

M. Couzinier Louis Féraud

Published in: Automation, Control, and Information Technology (2005)

Keyphrases

formal verification
model checking
uml diagrams
temporal logic
software design
model checker
automated verification
unified modeling language
high level
multi agent
automated reasoning
symbolic model checking
bounded model checking