scientific article; zbMATH DE number 2080912

MaRDI QIDQ4473977zbMATH OpenFDO

Authors Anna Slobodová

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2234/22340116.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)

Recommendations

• Industrial experience with formal verification
• scientific article; zbMATH DE number 1330907
• Computer Aided Verification
• scientific article; zbMATH DE number 1744957
• scientific article; zbMATH DE number 732939

Cited in

(12)

• Simulation-based hardware verification with a graph-based specification
• scientific article; zbMATH DE number 1693445 (Why is no real title available?)
• Industrial experience with formal verification
• On Formal Equivalence Verification of Hardware
• scientific article; zbMATH DE number 1324641 (Why is no real title available?)
• scientific article; zbMATH DE number 514046 (Why is no real title available?)
• scientific article; zbMATH DE number 516980 (Why is no real title available?)
• scientific article; zbMATH DE number 1744957 (Why is no real title available?)
• scientific article; zbMATH DE number 1400095 (Why is no real title available?)
• Computer Aided Verification
• Correct Hardware Design and Verification Methods
• On the effective deployment of functional formal verification

Describes a project that uses

Uses Software

• SATO

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 Q4473977)