Coquet
From MaRDI portal
Software:21898
swMATH9919MaRDI QIDQ21898FDOQ21898
Author name not available (Why is that?)
Cited In (6)
- Coquet: a Coq library for verifying hardware
- Functional verification of high performance adders in \textsc{Coq}
- \(\Pi\)-Ware: hardware description and verification in Agda
- A formal equational theory for call-by-push-value
- Modular verification of programs with effects and effects handlers
- Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7--9, 2011. Proceedings
This page was built for software: Coquet
