Login / Signup

LSC Verification for UML Models with Unbounded Creation and Destruction.

Bernd Westphal
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • uml models
  • object oriented
  • model checking
  • sequence diagrams
  • utility function
  • test cases
  • written in natural language
  • face verification
  • data sets
  • databases
  • high level
  • petri net
  • verification method