On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL.
Said MeghziliAllaoua ChaouiMartin StreckerElhillali KerkouchePublished in: IRI (2017)
Keyphrases
- colored petri nets
- state machine
- petri net
- theorem prover
- sequence diagrams
- state machines
- natural deduction
- fault tolerant
- class diagrams
- finite state machines
- formal methods
- inference rules
- web services
- theorem proving
- class diagram
- uml models
- uml diagrams
- model checking
- unified modeling language
- model checker
- hand drawn
- formal verification
- first order logic
- object oriented