A realistic involvement of formal methods
type: Item
instance of: scholarly article
zbMATH Open document ID: 0963.68667
author: D. Bégay
author: A. Rauzy
publication date: 2001-06-27T00:00:00Z
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1611681
zbMATH Keywords: embedded circuits
zbMATH Keywords: formal verification techniques
zbMATH Keywords: model-checkers
zbMATH Keywords: proof assistants
describes a project that uses: PVS
MaRDI profile type: Publication
cites work: Q4385542
cites work: Q3862379
cites work: Graph-Based Algorithms for Boolean Function Manipulation
OpenAlex ID: W1973770138
title: A realistic involvement of formal methods
Recommended article: Q4499181
Recommended article: Q2729070
DOI: 10.1002/1097-024X(200102)31:2%3C191::AID-SPE361%3E3.0.CO;2-4
full work available at URL: https://doi.org/10.1002/1097-024x(200102)31:2%3C191::aid-spe361%3E3.0.co
published in: Software. Practice \& Experience
description: scientific article; zbMATH DE number 1611681