Property Specification and Static Verification of UML Models.
Igor SiveroniAndrea ZismanGeorge SpanoudakisPublished in: ARES (2008)
Keyphrases
- uml models
- sequence diagrams
- formal verification
- formal methods
- object oriented
- asynchronous circuits
- model checking
- formal specification
- protocol specification
- petri net
- dynamic constraints
- test cases
- temporal logic
- signature verification
- artificial intelligence
- database
- specification language
- fine grained
- regression testing
- high level
- web services
- colored petri nets