Coquet

MaRDI QIDQ21898swMATHFDO

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

Cited in

(13)

• PREVAIL
• 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}
• CoqMTU
• Coquet: a Coq library for verifying hardware
• Rocksalt
• Lava
• Kami
• muFP
• -Ware: hardware description and verification in Agda
• operational
• Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7--9, 2011. Proceedings

This page was built for software: Coquet