The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Formal verification of hardware correctness: introduction and survey of current research

The work

AuthorsPaolo Enrico Camurati; P. Prinetto
Editors
Typearticle
Year1988
Citekeycamurati1988formal

Where it appeared

Published inComputer
PublisherIEEE Computer Society
Volume21
Issue7
Pages8--19

Identifiers

DOI10.1109/2.65
OpenAlexW2057956383

Access

Landing pagehttps://doi.org/10.1109/2.65

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

Formal verification techniques are analyzed, focusing on two key points: suitable representation systems and mechanizable proofs. Different approaches to hardware verification are first examined, and formal verification and automated synthesis are compared to show how they cooperate in producing zero-defect designs. The different techniques are evaluated. Cross fertilization with software verification techniques is discussed.>

How it got here

How it got hereagent via openalex
Added2026-10-24 11:04 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{camurati1988formal,
  title        = {Formal verification of hardware correctness: introduction and survey of current research},
  author       = {Paolo Enrico Camurati and P. Prinetto},
  year         = {1988},
  journal      = {Computer},
  publisher    = {IEEE Computer Society},
  volume       = {21},
  number       = {7},
  pages        = {8--19},
  doi          = {10.1109/2.65},
}

This record lives at https://refs.drheap.org/camurati1988formal/ and will keep doing so.