scientific article; zbMATH DE number 868111

zbMATH Open0844.68006MaRDI QIDQ4873997FDOQ4873997

Authors: Werner Damm, Bernhard Josko, Rainer Schlör 

Publication date: 21 April 1996

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

Recommendations

• scientific article; zbMATH DE number 107991
• scientific article; zbMATH DE number 1113196
• scientific article; zbMATH DE number 868112
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 53622
• Correct Hardware Design and Verification Methods
• Automatic generation of verified concurrent hardware using VHDL

zbMATH Keywords

compositional proof systemformal verification environmentVHDL designs

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Computer system organization (68M99)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantics and Verification of a Language for Modelling Hardware Architectures
• Title not available (Why is that?)

Uses Software

• PREVAIL
• 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 Q4873997)