✦ LIBER ✦

General correctness: A unification of partial and total correctness

✍ Scribed by Dean Jacobs; David Gries

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Junctive Compositions of Specifications

✍ Steve Dunne 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 794 KB

Algebras of modal operators and partial

✍ Bernhard Möller; Georg Struth 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 252 KB

A general theorem on the total correctne

✍ Werner Struckmann 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 29 KB

A Theory of Mathematical Correctness and

✍ Mark Balaguer 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB

Proof method of partial correctness and

✍ Gérard Ferrand; Pierre Deransart 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 951 KB

Relating direct and predicate transforme

✍ K. Keimel; A. Rosenbusch; T. Streicher 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 307 KB