A realistic involvement of formal methods

DOI10.1002/1097-024X(200102)31:2%3C191::AID-SPE361%3E3.0.CO;2-4MaRDI QIDQ2720898zbMATH OpenOpenAlexFDO

Authors D. Bégay, A. Rauzy

Publication date 27 June 2001

Published in Software. Practice \& Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1097-024x(200102)31:2%3C191::aid-spe361%3E3.0.co;2-4

zbMATH Keywords

embedded circuitsformal verification techniquesmodel-checkersproof assistants

Mathematics Subject Classification ID

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

Cites work

• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)

Cited in

(7)

• Adequate formalization
• Verification is experimentation!
• scientific article; zbMATH DE number 139977 (Why is no real title available?)
• scientific article; zbMATH DE number 1927410 (Why is no real title available?)
• scientific article; zbMATH DE number 1759598 (Why is no real title available?)
• scientific article; zbMATH DE number 770153 (Why is no real title available?)
• Formalizing and Reasoning about Quality

Describes a project that uses

Uses Software

• PVS

This page was built for publication: A realistic involvement of formal methods

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