✦ LIBER ✦

Proving total correctness of nondeterministic programs in infinitary logic

✍ Scribed by R. J. R. Back

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An axiomatic basis for proving total cor

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

Methods of proving the correctness of pr

✍ V. S. Kostyrko 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 352 KB

Proving the correctness of regular deter

✍ David Harel 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 116 KB

A general theorem on the total correctne

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