7 promela examples
DESCRIPTION
Promela AutomataTRANSCRIPT
-
Formal verification activitiesDr. ir. N. Goga
-
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
-
UML sequence diagram corrected
-
UML Formal Verification
-
UML Formal Verification