Certifying circuits in type theory
From MaRDI portal
Publication:1764432
DOI10.1007/S00165-004-0048-3zbMath1061.68105OpenAlexW1996451615MaRDI QIDQ1764432
Solange Coupet-Grimal, Line Jakubiec
Publication date: 24 February 2005
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-004-0048-3
Related Items (4)
Circuits as streams in Coq: Verification of a sequential multiplier ⋮ ``Backward coinduction, Nash equilibrium and the rationality of escalation ⋮ Coquet: A Coq Library for Verifying Hardware ⋮ Functional verification of high performance adders in \textsc{Coq}
Uses Software
This page was built for publication: Certifying circuits in type theory
