✦ LIBER ✦

Methods of proving the correctness of programs in ANALITIK

✍ Scribed by V. S. Kostyrko

Publisher: Springer US
Year: 1979
Tongue: English
Weight: 352 KB
Volume: 14
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01069851

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A method for proving the correctness of

A method for proving the correctness of programs

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

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

Petri nets for proving some correctness

Petri nets for proving some correctness properties of parallel programs

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

An axiomatic basis for proving total cor

An axiomatic basis for proving total correctness of goto-programs

✍ Arne Wang 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 880 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