Abstract: This paper shows a method for translating UML sequence diagrams to Petri nets and verifying deadlockfreeness, reachability, safety and liveness properties by using a model checker. In this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback