scientific article; zbMATH DE number 1436133

zbMATH Open0951.68546MaRDI QIDQ4948730FDOQ4948730

Authors: Sofiène Tahar, Paul Curzon 

Publication date: 7 June 2000

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

automated verificationmultiway decision graphsinteractive formal proof

Mathematics Subject Classification ID

Cited In (6)

• A comparison of MDG and HOL for hardware verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)