Please enable JavaScript.
Coggle requires JavaScript to display documents.
Sets - Coggle Diagram
Sets
Machine Consistency
Needs to prove that a machine is consistent before implementing the machine. Creating a machine context and implementing its machine, that way verifying if the machine is consistent and implementing the machine at all.
-
-
Operation Consistency
B & I & P => |S| I
Prove that given that Property holds, Invariants Hold, the Pre condition holds then the Operation command S stablishes the Invariants
Properties
St, k . B
St = Sets
k = Constants
B = Property holds
-
-
-
-
-
-