Verification of building blocks for asynchronous circuits
From MaRDI portal
Publication:6587253
DOI10.4204/EPTCS.114.6zbMATH Open1542.681MaRDI QIDQ6587253FDOQ6587253
Authors: Freek Verbeek, Julien Schmaltz 
Publication date: 13 August 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
This page was built for publication: Verification of building blocks for asynchronous circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587253)
