Search results for: Kenneth L. McMillan
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Bounded Model Checking and SAT-Based Methods > 34-48
Lecture Notes in Computer Science > Computer Aided Verification > Session 5. Abstraction/Refinement > 123-136
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 405-419
Lecture Notes in Computer Science > Static Analysis > 249-262
Lecture Notes in Computer Science > Computer Aided Verification > Microprocessor Verification, Cache Coherence > 396-410
Lecture Notes in Computer Science > Computer Aided Verification > Session XIII: Assume-Guarantee Reasoning > 420-432
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Parameterized Verification > 356-371
Lecture Notes in Computer Science > Computer Aided Verification > Session 1. Software Model Checking > 104-118
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Evaluation of SAT-Based Tools > 254-268
Lecture Notes in Computer Science > Computer Aided Verification > Protocol Verification and Testing > 123-133
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Bounded Model Checking and SAT-Based Methods > 2-17