Modeling a hardware synthesis methodology in Isabelle
From MaRDI portal
Publication:6567702
DOI10.1007/BFB0105395zbMATH Open1543.68191MaRDI QIDQ6567702FDOQ6567702
Publication date: 5 July 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
This page was built for publication: Modeling a hardware synthesis methodology in Isabelle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567702)
