论文信息 - A Property of 2-Sorted Peano Models and Program Verification - 字舞流文

A Property of 2-Sorted Peano Models and Program Verification

Jeff B. Paris | László Csirmaz | J. Paris | L. Csirmaz

[1] László Csirmaz. On the completeness of proving partial correctness , 1981, Acta Cybern..

[2] Jan A. Bergstra,et al. Two Theorems About the Completeness of Hoare's Logic , 1982, Inf. Process. Lett..

[3] J. W. de Bakker,et al. Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.

[4] Krzysztof R. Apt,et al. Ten Years of Hoare's Logic: A Survey—Part I , 1981, TOPL.

[5] Stephen A. Cook,et al. Soundness and Completeness of an Axiom System for Program Verification , 1978, SIAM J. Comput..

[6] Ildikó Sain,et al. A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I , 1982, Theor. Comput. Sci..