Formal Verification of UML2 Timing Diagrams based on Time Petri Nets.
Aymen LouatiKamel BarkaouiPublished in: Int. J. Inf. Syst. Serv. Sect. (2016)
Keyphrases
- formal verification
- petri net
- sequence diagrams
- class diagrams
- model checking
- state machines
- class diagram
- petri net model
- model checker
- discrete event systems
- bounded model checking
- automated verification
- asynchronous circuits
- uml diagrams
- ims ld
- colored petri nets
- fuzzy petri net
- uml class diagrams
- stochastic petri net
- unified modeling language
- temporal logic
- process model
- concurrent systems
- service composition
- artificial intelligence
- embedded real time systems
- reverse engineering
- web services