Publication:3154457
From MaRDI portal
zbMath1063.68500MaRDI QIDQ3154457
Publication date: 14 January 2005
01A65: Development of contemporary mathematics
68Q60: Specification and verification (program logics, model checking, etc.)
03B35: Mechanization of proofs and logical operations
68-03: History of computer science
Related Items
Computing and the cultures of proving, Panelist position statement: logic and models in computer science, Using formal methods with SysML in aerospace design and engineering, Automated theorem provers: a practical tool for the working mathematician?, Logic of secrets in collaboration networks, An independence relation for sets of secrets, Operating system verification---an overview, Why do informal proofs conform to formal norms?, Mathematics and argumentation, Integrating searching and authoring in Mizar, Computer assisted reasoning. A Festschrift for Michael J. C. Gordon, An Independence Relation for Sets of Secrets