✦ LIBER ✦

A method for proving the correctness of programs

✍ Scribed by V. S. Kostyrko

Publisher: Springer US
Year: 1978
Tongue: English
Weight: 981 KB
Volume: 14
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01207123

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Methods of proving the correctness of pr

Methods of proving the correctness of programs in ANALITIK

✍ V. S. Kostyrko 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 352 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

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

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

Proving the correctness of regular deter

Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic, RC 7557 Nr. 32673

✍ David Harel 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 116 KB