On the effective deployment of functional formal verification

DOI10.1023/A:1011219209077MaRDI QIDQ5946345zbMATH OpenOpenAlexFDO

Authors Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham

Publication date 10 February 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1011219209077

zbMATH Keywords

formal verificationRuleBase

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Correct Hardware Design and Verification Methods
• Formal verification successes at Motorola
• Formal verification for non-formalists
• Model checking at IBM
• scientific article; zbMATH DE number 2080912

Cited in

(6)

• Formal verification successes at Motorola
• scientific article; zbMATH DE number 1693445 (Why is no real title available?)
• A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• scientific article; zbMATH DE number 2090149 (Why is no real title available?)
• Scalable Techniques for Formal Verification
• Correct Hardware Design and Verification Methods

This page was built for publication: On the effective deployment of functional formal verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5946345)