Formal Verification of UML Statecharts with Real-Time Extensions.
Alexandre DavidM. Oliver MöllerWang YiPublished in: FASE (2002)
Keyphrases
- formal verification
- model checker
- real time
- formal methods
- model checking
- class diagrams
- conceptual modeling
- uml models
- automated verification
- sequence diagrams
- program slicing
- bounded model checking
- formal specification
- software systems
- object oriented
- control system
- reactive systems
- description language
- regression testing
- uml class diagrams
- symbolic model checking
- modeling language
- software engineering