Search results for: Randal E Bryant
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Bounded Model Checking > 348-362
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 136-150
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Microprocessor Specification and Verification > 142-159
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 358-372
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 14-24
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Rewriting and Theorem-Proving Techniques > 235-240