Now showing items 1-10 of 1
Correctness proof (1) |
Demonic nondeterminism (1) |
Guarded command (1) |
Invariant (1) |
Predicate transformer (1) |
Probability (1) |
Program correctness (1) |
Random algorithm (1) |
Variant (1) |
Weakest preconditions (1) |
Now showing items 1-10 of 1