Kami: a platform for high-level parametric hardware specification and its modular verification
<jats:p>It has become fairly standard in the programming-languages research world to verify functional programs in proof assistants using induction, algebraic simplification, and rewriting. In this paper, we introduce Kami, a Coq library that enables similar expressive and modular reasoning fo...
| Autores principales: | , , , , |
|---|---|
| Otros Autores: | |
| Formato: | Artículo |
| Lenguaje: | English |
| Publicado: |
Association for Computing Machinery (ACM)
2021
|
| Acceso en línea: | https://hdl.handle.net/1721.1/134865 |