Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
DOI10.1007/S10817-009-9144-7zbMATH Open1179.01037OpenAlexW1571821405WikidataQ125765287 ScholiaQ125765287MaRDI QIDQ2655321FDOQ2655321
Authors: Joe Hurd, Konrad Slind, Richard Boulton 
Publication date: 25 January 2010
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9144-7
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Biographies, obituaries, personalia, bibliographies (01A70) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- A Brief Overview of HOL4
- Title not available (Why is that?)
- Edinburgh LCF. A mechanized logic of computation
- Title not available (Why is that?)
- Logic and Computation
- Isabelle/HOL. A proof assistant for higher-order logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming a symbolic model checker in a fully expansive theorem prover
- Title not available (Why is that?)
- Validating the PSL/Sugar semantics using automated reasoning
- The notion of proof in hardware verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof producing synthesis of arithmetic and cryptographic hardware
- Title not available (Why is that?)
- Hoare Logic for Realistically Modelled Machine Code
Uses Software
This page was built for publication: Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655321)
