Live and Let Die: LSC-Based Verification of UML-Models.

Werner Damm Bernd Westphal

Published in: FMCO (2002)

Keyphrases

uml models
object oriented
sequence diagrams
model checking
test cases
real time
utility function
written in natural language
computer vision
face verification
verification method
software engineering
formal verification
test generation