✦ LIBER ✦

Models of sets of sequences and the proof of the correctness of programs

✍ Scribed by S.A. Abramov

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

Estimating the correctness of computer p

✍ Joe W. Duran; John J. Wiorkowski 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 860 KB

Proof method of partial correctness and

✍ Gérard Ferrand; Pierre Deransart 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 951 KB

A complete proof of correctness of the K

✍ Gérard Huet 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 709 KB

A simple correctness proof of the MCS co

✍ Theodore Johnson; Krishna Harathi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 482 KB

Simple derivation of the function of gen

✍ John Z. Hearon; Yoshihiko Tsukamoto 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 71 KB