Social processes and proofs of theorems and programs

DOI10.1007/BF03023394zbMath0455.68017OpenAlexW2059325406MaRDI QIDQ1150266

Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis

Publication date: 1980

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03023394

zbMATH Keywords

program specificationprogram verificationformal mathematicsmathematical proofs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Automated theorem provers: a practical tool for the working mathematician?, Sharpening constraint programming approaches for bit-vector theory, A probabilistic remark on algebraic program testing, The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• John E. Littlewood (1885-1977). An informal obituary
• On certain properties of linear estimators
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Fidelity in Mathematical Discourse: Is One and One Really Two?
• The axiom of choice