Coquet

MaRDI QIDQ21898swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-25379-9_24

Cited in

(13)

• Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7--9, 2011. Proceedings
• \(\Pi\)-Ware: hardware description and verification in Agda
• Coquet: a Coq library for verifying hardware
• PREVAIL
• CoqMTU
• Rocksalt
• Kami
• Lava
• muFP
• operational
• A formal equational theory for call-by-push-value
• Modular verification of programs with effects and effects handlers
• Functional verification of high performance adders in \textsc{Coq}

This page was built for software: Coquet