A realistic involvement of formal methods

DOI<link itemprop=identifier href="https://doi.org/10.1002/1097-024X(200102)31:2<191::AID-SPE361>3.0.CO;2-4" /><191::AID-SPE361>3.0.CO;2-4 10.1002/1097-024X(200102)31:2<191::AID-SPE361>3.0.CO;2-4zbMath0963.68667OpenAlexW1973770138MaRDI QIDQ2720898

Didier Bégay, Antoine Rauzy

Publication date: 27 June 2001

Full work available at URL: https://doi.org/10.1002/1097-024x(200102)31:2<191::aid-spe361>3.0.co;2-4

zbMATH Keywords

proof assistantsembedded circuitsformal verification techniquesmodel-checkers

Mathematics Subject Classification ID

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

Uses Software

• PVS

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Unnamed Item
• Unnamed Item

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