Work

Representing circuits more efficiently in symbolic model checking

Year: 1991

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1145/127601.127702

Authors: J. R. Burch, E. M. Clarke, D. E. Long

Institution: Carnegie Mellon University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2113251992

FWCI: 10.77

Cites: 11

Cited by: 174

Related to: 10