A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol.
Robi MalikReinhard MühlfeldPublished in: J. Univers. Comput. Sci. (2003)
Keyphrases
- model checker
- formal methods
- model checking
- formal analysis
- class diagrams
- protocol specification
- formal verification
- sequence diagrams
- specification language
- case study
- petri net
- temporal logic
- formal specification
- colored petri nets
- conceptual modeling
- description language
- cryptographic protocols
- software engineering
- uml models
- uml class diagrams
- test bed
- state machines
- reactive systems
- object oriented
- software systems
- software architecture
- modeling language
- metamodel
- class diagram
- database design
- regression testing
- communication protocols
- test generation
- test suite
- reverse engineering