Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types

Edwin Brady, James McKinna, Kevin Hammond

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types'. Together they form a unique fingerprint.

Engineering & Materials Science