✦ LIBER ✦

Axiomatic proofs of total correctness of programs

✍ Scribed by N. Soundararajan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatic approach to total correctness

✍ Zohar Manna; Amir Pnueli 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 856 KB

Correctness proofs of CSP programs

✍ N. Soundararajan 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 948 KB

An axiomatic basis for proving total cor

✍ Arne Wang 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 880 KB

Program testing versus proofs of correct

✍ William E. Howden 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 675 KB

Modular correctness proofs of behavioura

✍ Michel Bidoit; Rolf Hennicker 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 345 KB

Proving total correctness of nondetermin

✍ R. J. R. Back 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 886 KB