The top documents tagged [partial vs total correctness]

Hoare’s Correctness Triplets Dijkstra’s Predicate Transformers Axiomatic Semantics.

---

224 views

Axiomatic Semantics

---

25 views