A Vindication of Program Verification

DOI10.1080/01445340.2015.1065461zbMath1359.68186OpenAlexW2227693444WikidataQ58355728 ScholiaQ58355728MaRDI QIDQ2963953

Selmer Bringsjord

Publication date: 22 February 2017

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2015.1065461

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in the philosophy of science (03A10)

Related Items

The Epistemology of Computer-Mediated Proofs

Cites Work

• Operating system verification---an overview
• Does a rock implement every finite-state automaton?
• A set of postulates for the foundation of logic
• A set of postulates for the foundation of logic. II
• Rigorous software development. An introduction to program verification.
• Social processes, program verification and all that
• Machines
• An axiomatic basis for computer programming
• Finite combinatory processes—formulation
• On Computable Numbers, with an Application to the Entscheidungsproblem