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

Edwin Charles Brady, James Hugh McKinna, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
EP/C001346/1: Generative Programming for Embedded Systems
Hammond, K. (PI)
EPSRC
1/01/05 → 31/12/07
Project: Standard