Verification Framework for Detecting Safety Violations in UML Statecharts.
Chikmagalur Manjappa PrashanthK. Chandrashekar ShetJanees ElamkulamPublished in: Asia International Conference on Modelling and Simulation (2008)
Keyphrases
- logical framework
- theoretical framework
- main contribution
- database systems
- data model
- formal methods
- conceptual framework
- software architecture
- object oriented modeling
- database
- formal verification
- conceptual model
- database design
- software systems
- software development
- software engineering
- probabilistic model
- information systems