Now showing items 1-20 of 36
| Subject |
|---|
| Abstraction [1] |
| Correctness proof [1] |
| Correctness verification [1] |
| Demonic nondeterminism [1] |
| Development validation [1] |
| Domain engineering [1] |
| Ensures [1] |
| Fairness [1] |
| Fixed point [1] |
| Formal specification [1] |
| Frames [1] |
| Frameworks [1] |
| Guarded command [1] |
| Invariant [2] |
| Leads-to [1] |
| Liveness [1] |
| Modelling [1] |
| Patterns [1] |
| Predicate transformer [1] |
| Probability [1] |
Now showing items 1-20 of 36