On the effective deployment of functional formal verification

DOI10.1023/A:1011219209077zbMath0994.68579OpenAlexW1484942078MaRDI QIDQ5946345

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

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

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

Related Items (1)

A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis

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