✦ LIBER ✦

The correctness of nondeterministic programs revisited

✍ Scribed by Leszek Holenderski

Book ID: 113162915
Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 416 KB
Volume: 23
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(86)90090-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving total correctness of nondetermin

Proving total correctness of nondeterministic programs in infinitary logic

✍ R. J. R. Back 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 886 KB

Formal correctness proofs of a nondeterm

Formal correctness proofs of a nondeterministic program

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

The correctness of programs

✍ Zohar Manna 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 301 KB

This paper is concerned with the relationship between the correctness of programs and the satisfiability (or unsatisfiability) of certain formulas of the first-order predicate calculus. Results on the equivalence of programs are also included. \* The research reported here was supported in part by t

Estimating the correctness of computer p

Estimating the correctness of computer programs

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

Correctness proofs of CSP programs

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

Correctness verification of real-time pr

Correctness verification of real-time programs

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