State Space analysis
simulation with backtrack possibilities
find execution sequence
deadlock check states in the graph without out-arrow
property check such as mutual exclusion
Föregående bild
Nästa bild
Tillbaka till första bilden
Visa grafisk version