by Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant
http://www.cs.cmu.edu/%7Euclid/userguide.ps
Add To MetaCart
Abstract:
Citations
|
1128
|
Symbolic Model Checking
– McMillan
- 1993
|
|
594
|
Chaff: Engineering an efficient SAT solver
– Moskewicz, Madigan, et al.
- 2001
|
|
223
|
GRASP-a search algorithm for propositional satisfiability
– Silva, Sakallah
- 1999
|
|
217
|
Automatic verification of pipelined microprocessor control
– Burch, Dill
- 1994
|
|
173
|
Sequential circuit verification using symbolic model checking
– Burch, Clarke, et al.
- 1990
|
|
138
|
Validity Checking for Combinations of Theories with Equality, M. Srivas and A. Camilleri (eds), Formal Methods
– Barrett, Dill, et al.
- 1996
|
|
68
|
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
– Bryant, German, et al.
- 1999
|
|
57
|
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions
– Goel, Sajid, et al.
- 1998
|
|
13
|
Computing reachable control states of systems modeled with uninterpreted functions and infinite memory
– Isles, Hojati, et al.
- 1998
|
|
8
|
Ground temporal logic: a logic for hardware verification
– Cyrluk, Narendran
- 1994
|
|
3
|
Available at http://www.dina.dk/ sestoft/mosml.html
– ML
- 2001
|
