✦ LIBER ✦

Generation of correctness conditions for imperative programs

✍ Scribed by N. V. Shilov; I. S. Anureev; E. V. Bodin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof rules for the correctness of quant

✍ Yuan Feng; Runyao Duan; Zhengfeng Ji; Mingsheng Ying 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 350 KB

A method for proving the correctness of

✍ V. S. Kostyrko 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 981 KB

Towards the verification of optimizing t

✍ Gerd Kock 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 657 KB

Model-Checking of Correctness Conditions

✍ Rajeev Alur; Ken McMillan; Doron Peled 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 242 KB

An axiomatic basis for proving total cor

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

Petri nets for proving some correctness

✍ János Szlankó 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 588 KB