UML Formal VerificationA necessary step for building a formal
specificationIf a formal specification is built, than a formal
check for invariants, deadlocks can be made
UML sequence diagramThe mistake (typing) is marked with red: the
user put in the wrong way the direction of the line
UML Formal VerificationDeclaration of global types, channels of
communication
UML Formal Verification
UML Formal Verification
UML Formal Verification
UML Formal Verification
UML Formal VerificationRunning optionsCompilation for simulation
with send (-s) and receive (-r) events printed and random seed (-n)
154 spin -s -r -n154 name_filleFull verification:spin -a name_file
gcc -o pan pan.c ./panSee result of the wrong path: spin -t -p
name_file
UML Formal VerificationDeadline will be discovered Show
figure
