Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
From MaRDI portal
Publication:2655321
Cites work
- scientific article; zbMATH DE number 1629957 (Why is no real title available?)
- scientific article; zbMATH DE number 1670743 (Why is no real title available?)
- scientific article; zbMATH DE number 2185697 (Why is no real title available?)
- scientific article; zbMATH DE number 2127501 (Why is no real title available?)
- scientific article; zbMATH DE number 3991418 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 53982 (Why is no real title available?)
- scientific article; zbMATH DE number 3640837 (Why is no real title available?)
- scientific article; zbMATH DE number 234014 (Why is no real title available?)
- A Brief Overview of HOL4
- Edinburgh LCF. A mechanized logic of computation
- Hoare Logic for Realistically Modelled Machine Code
- Isabelle/HOL. A proof assistant for higher-order logic
- Logic and Computation
- Programming a symbolic model checker in a fully expansive theorem prover
- Proof producing synthesis of arithmetic and cryptographic hardware
- The notion of proof in hardware verification
- Validating the PSL/Sugar semantics using automated reasoning
Describes a project that uses
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)