A comparison of MDG and HOL for hardware verification

DOI10.1007/BFB0105419zbMATH Open1543.68231MaRDI QIDQ6567728FDOQ6567728

Authors: Sofiène Tahar, Paul Curzon 

Publication date: 5 July 2024

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Graph-Based Algorithms for Boolean Function Manipulation
• Title not available (Why is that?)

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)