The correctness of programs

Authors:
Zohar Manna
Affiliations:
-
Venue:
Journal of Computer and System Sciences
Year:
1969

Citing 0
Cited 6

Program schemata as automata. I

Journal of Computer and System Sciences
Algorithmic approximations

Journal of Computer and System Sciences
On the completeness of the inductive assertion method

Journal of Computer and System Sciences
Proving assertions about parallel programs

Journal of Computer and System Sciences
Verification condition generation via theorem proving

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Survey: A survey of state vectors

Computer Science Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.