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

Original language	English
Title of host publication	Trends in Functional Programming
Publisher	Intellect Books
Pages	159-176
Volume	8
ISBN (Print)	9781841501963
Publication status	Published - 2008

Cite this

@inproceedings{564c0f1ae7be499eab9c7df8145db3f0,

title = "Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types",

author = "Brady, \{Edwin Charles\} and McKinna, \{James Hugh\} and Kevin Hammond",

note = "Eighth Symposium on Trends in Functional Programming, which was held in New York City on April 2–4, 2007.",

year = "2008",

language = "English",

isbn = "9781841501963",

volume = "8",

pages = "159--176",

booktitle = "Trends in Functional Programming",

publisher = "Intellect Books",

address = "United Kingdom",

}

TY - GEN

T1 - Constructing Correct Circuits

T2 - Verification of Functional Aspects of Hardware Specifications with Dependent Types

AU - Brady, Edwin Charles

AU - McKinna, James Hugh

AU - Hammond, Kevin

N1 - Eighth Symposium on Trends in Functional Programming, which was held in New York City on April 2–4, 2007.

PY - 2008

Y1 - 2008

M3 - Conference contribution

SN - 9781841501963

VL - 8

SP - 159

EP - 176

BT - Trends in Functional Programming

PB - Intellect Books

ER -