Please enable JavaScript.
Coggle requires JavaScript to display documents.
Sets and constants, Visibility, Machine consistency, Constants, Sets,…
-
Visibility
-
INITIALISATION can see sets, constants and variables
INVARIANT can see sets, constants and variables
OPERATIONS can see sets, constants and variables
Machine consistency
-
-
-
OPERATIONS consistency
Once the invariant and the precondition hold, then the cammand has to establish the invariant
-
-
-
-
-