Work

Symbolic Model Checking without BDDs

Year: 1999

Type: report

Source: Defense Technical Information Center (DTIC)

DOI: 10.21236/ada360973

Authors: Armin Biere, Alessandro Cimatti, Edmund Clark, Yunshan Zhu

Institutions: Carnegie Mellon University, Istituto per la Ricerca Scientifica e Tecnologica

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Semiconductor Research Corporation

Award: Algorithm Design and Implementation for Parallel Scientific Computation

OpenAlex ID: W4231640108

Cites: 16

Cited by: 553

Related to: 10