scientific article; zbMATH DE number 868111

MaRDI QIDQ4873997zbMATH OpenFDO

Authors Werner Damm, Bernhard Josko, Rainer Schlör

Publication date 21 April 1996

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)

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

Cited in

(4)

• scientific article; zbMATH DE number 1948412 (Why is no real title available?)
• scientific article; zbMATH DE number 2090599 (Why is no real title available?)
• Semantics and Verification of a Language for Modelling Hardware Architectures
• scientific article; zbMATH DE number 1113196 (Why is no real title available?)

Describes a project that uses

Uses Software

• HOL
• PREVAIL

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)