Pages that link to "Item:Q2642982"
From MaRDI portal
The following pages link to Proof producing synthesis of arithmetic and cryptographic hardware (Q2642982):
Displaying 9 items.
- Mechanised wire-wise verification of Handel-C synthesis (Q436367) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Proof-producing translation of higher-order logic into pure and stateful ML (Q2875232) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- Coquet: A Coq Library for Verifying Hardware (Q3100217) (← links)
- A Brief Overview of HOL4 (Q3543646) (← links)
- Formal Verification for High-Assurance Behavioral Synthesis (Q3648710) (← links)
- An approach to the specification and verification of a hardware compilation scheme (Q5945700) (← links)