Work

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

Year: 1988

Type: article

Source: Computer

DOI: 10.1109/2.65

Authors: P. Camurati, P. Prinetto

Institution: Politecnico di Torino

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2057956383

FWCI: 6.695

Cites: 24

Cited by: 111

Related to: 10