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

Abstract

This paper focuses on the important, but tricky, problem of determining provably correct program properties automatically from program source. We describe a novel approach to constructing correct low-level programs. By using modern, full-spectrum dependent types, we are able to give an explicit and checkable link between the low-level program and its high… (More)

Topics

Statistics

02040201520162017
Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Brady2007ConstructingCC, title={Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types}, author={Edwin Brady and James McKinna and Kevin Hammond}, booktitle={Trends in Functional Programming}, year={2007} }