✦ LIBER ✦

A logic for describing, not verifying, software

✍ Scribed by David Lorge Parnas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

MOVE — a verifying tool for modular soft

✍ Bogdan W. Wiszniewski 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 396 KB

A unified framework for describing and v

✍ Ghislaine Thuau; Bachir Berkane 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1000 KB

ENDL: A Logical Framework for Verifying

✍ Qingfeng Chen; Chengqi Zhang; Shichao Zhang 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 951 KB

A quantitative software analysis tool fo

✍ B. Harms William; A. Low Daniel; A. Purdy James 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Verifying software performance with a lo

📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 77 KB

Logic analyzer software for a multi-samp

✍ Christopher G. Talbot; Gordon Shaw 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 452 KB