The correctness of programs
Z Manna - Journal of Computer and System Sciences, 1969 - Elsevier
Z Manna
Journal of Computer and System Sciences, 1969•ElsevierThe Correctness of Programs* Page 1 JOURNAL OF COMPUTER AND SYSTEM SCIENCES:
3, 119-127 (1969) The Correctness of Programs* ZOHAR MANNA Computer ,Science
Department, Stanford University, Stanford, California 94305 Received August 23, 1968
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. INTRODUCTION Substantial effort …
3, 119-127 (1969) The Correctness of Programs* ZOHAR MANNA Computer ,Science
Department, Stanford University, Stanford, California 94305 Received August 23, 1968
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. INTRODUCTION Substantial effort …
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.
Elsevier
