scientific article; zbMATH DE number 1436133

MaRDI QIDQ4948730zbMATH OpenFDO

Authors Sofiène Tahar, Paul Curzon

Publication date 7 June 2000

zbMATH Keywords

automated verificationmultiway decision graphsinteractive formal proof

Mathematics Subject Classification ID

Recommendations

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

Cited in

(6)

• A comparison of MDG and HOL for hardware verification
• scientific article; zbMATH DE number 1949624 (Why is no real title available?)
• scientific article; zbMATH DE number 139822 (Why is no real title available?)
• scientific article; zbMATH DE number 2086953 (Why is no real title available?)
• scientific article; zbMATH DE number 1424023 (Why is no real title available?)
• scientific article; zbMATH DE number 1852162 (Why is no real title available?)

Describes a project that uses

Uses Software

• HOL

This page was built for publication:

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