A comparison of MDG and HOL for hardware verification

DOI10.1007/BFB0105419MaRDI QIDQ6567728zbMATH OpenFDO

Authors Sofiène Tahar, Paul Curzon

Publication date 5 July 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1436133
• scientific article; zbMATH DE number 1852162
• scientific article; zbMATH DE number 1424023
• scientific article; zbMATH DE number 139822
• Automated Technology for Verification and Analysis

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: A comparison of MDG and HOL for hardware verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567728)