Work

Formal verification methods: getting around the brick wall

Year: 2002

Type: conference-abstract

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1145/513918.514064

Authors: David Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev Ranjan, Gunnar Stålmarck, Curt Widdoes

Institutions: Stanford University, Prover Technology (Sweden), Intel (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2088632015

Cites:

Cited by:

Related to: 10