Concepedia

Jerry R. Burch

JR

30

Publications

5.3K

Citations

19

H-Index

1985

Active since

Affiliations

Carnegie Mellon University(Current)

Lawrence Berkeley National Laboratory

Cadence Design Systems (United States)

Stanford University

University of California, Berkeley

Jerry R. Burch is an author at Carnegie Mellon University specializing in computer science, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceVerificationComputer EngineeringAutomated ReasoningSoftware AnalysisSystems EngineeringComputer Architecture

Publications per year

1985–2007

30

Publications

30

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Engineering, Automated Reasoning, Verification +8

Symbolic model checking for sequential circuit verification

Jerry R. Burch, E. M. Clarke, David E. Long et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994 · 548 citations

Engineering, Verification, Computer-aided Verification +18

Sequential circuit verification using symbolic model checking

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 1990 · 409 citations · Full text

Engineering, Hardware Verification Language, Verification +19

Symbolic model checking: 10/sup 20/ states and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 2002 · 304 citations

Engineering, Verification, Symbolic Model Checking +18

Symbolic Model Checking with Partitioned Transistion Relations.

Jerry R. Burch, Edmund M. Clarke, David E. Long · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1991 · 271 citations

Engineering, Automated Reasoning, Verification +7

Rows per page

1–5 of 30