Live and let die: LSC based verification of UML models.
Werner DammBernd WestphalPublished in: Sci. Comput. Program. (2005)
Keyphrases
- uml models
- object oriented
- sequence diagrams
- model checking
- utility function
- test cases
- real time
- written in natural language
- face verification
- test generation
- information systems
- fine grained
- signature verification
- verification method
- general purpose
- petri net
- relational databases
- three dimensional
- learning algorithm
- database