A general proof rule for procedures in predicate transformer semantics

Procedures and Parameters: An Axiomatic Approach

Tony Hoare · 1971 · 247 citations

Computing, Mathematics, Formal Methods +5

Proof rules for the programming language Euclid

Raiph L. London, John V. Guttag, J. J. Horning et al. · Acta Informatica · 1978 · 117 citations

Computing, Computer Science, Formal Methods +10

Assignment and Procedure Call Proof Rules

David Gries, Gary Levin · ACM Transactions on Programming Languages and Systems · 1980 · 73 citations · Full text

Computing, Computer Science, Formal Methods +16

On Mathematical Induction

Leon Henkin · American Mathematical Monthly · 1960 · 29 citations