scientific article; zbMATH DE number 1436133

MaRDI QIDQ4948730zbMATH OpenFDO

Authors Sofiène Tahar, Paul Curzon

Publication date 7 June 2000

zbMATH Keywords

automated verificationinteractive formal proofmultiway decision graphs

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)

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

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)