Formal Specification and Probabilistic Verification of SysML Activity Diagrams.
Yosr JarrayaMourad DebbabiPublished in: TASE (2012)
Keyphrases
- formal specification
- formal methods
- model checking
- activity diagrams
- model checker
- concurrent systems
- process algebra
- specification language
- reverse engineering
- formal verification
- object oriented design
- conceptual database design
- protocol specification
- temporal logic
- class diagrams
- requirements specification
- sequence diagrams
- operational semantics
- business rules
- artificial intelligence
- requirements engineering
- software testing
- modeling language
- building blocks
- databases