✦ LIBER ✦

Estimating the correctness of computer programs

✍ Scribed by Joe W. Duran; John J. Wiorkowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correctness proofs of CSP programs

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

Correctness verification of real-time pr

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

INTRAV and ORAL: BASIC interactive compu

✍ J. L. Valentine; Samuel Hunter 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 668 KB

Models of sets of sequences and the proo

✍ S.A. Abramov 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 377 KB

Estimation of the P(CS) with a Computer

✍ Prof. Edward J. Dudewicz 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 453 KB

Petri nets for proving some correctness

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