✦ LIBER ✦

A functional correctness model of program verification

✍ Scribed by Zelkowitz, M.V.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correctness verification of real-time pr

✍ T Szmuc 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 754 KB

Axiomatic system for program correctness

✍ L. V. Chernobrod 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 978 KB

Formal correctness proofs of a nondeterm

✍ Eliezer Upfal 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 665 KB

Finding the correctness proof of a concu

✍ E.W. Dijkstra 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 521 KB

Modeling, specification, and verificatio

✍ E. V. Kuzmin; V. A. Sokolov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 261 KB

Functional programming languages for ver

✍ Martin Leucker; Thomas Noll; Perdita Stevens; Michael Weber 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 222 KB