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