Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.
Messaoud RahimAhmed HammadMalika Boukala-IoualalenPublished in: ACIT-CSI (2015)
Keyphrases
- petri net
- formal verification
- sequence diagrams
- activity diagrams
- model checker
- model checking
- formal methods
- bounded model checking
- automated verification
- state machines
- class diagrams
- manufacturing systems
- symbolic model checking
- colored petri nets
- concurrent systems
- class diagram
- operational semantics
- process model
- fuzzy petri net
- formal specification
- modeling language
- temporal logic
- requirements engineering
- artificial intelligence