论文信息 - A more mechanical approach to program verification - 字舞流文

A more mechanical approach to program verification

Richard J. Waldinger | Irene Greif | R. Waldinger | I. Greif

[1] Robert S. Boyer,et al. Proving Theorems about LISP Functions , 1973, JACM.

[2] Zohar Manna,et al. A Heuristic Approach to Program Verification , 1973, IJCAI.

[3] Ben Wegbreit,et al. Heuristic Methods for Mechanically Deriving Inductive Assertions , 1973, IJCAI.

[4] ZOHAR MANNA,et al. The Correctness of Programs , 1969, J. Comput. Syst. Sci..