Search results for: David L Dill
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Component Verification > 340-354
Lecture Notes in Computer Science > Automatic Verification Methods for Finite State Systems > 197-212
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Constraint-Solving and Decision Procedures > 521-536
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Decision Procedures > 171-186
Lecture Notes in Computer Science > Model Checking Software > State Representation and Abstraction > 28-42
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 1 > 158-163
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Invited Talks > 3-3
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 133-142
Lecture Notes in Computer Science > Computer Aided Verification > Tutorials and Invited Papers > 1-1
Lecture Notes in Computer Science > Computational Methods in Systems Biology > Position Papers > 202-206