Search results for: Daniel Kroening
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 570-574
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Software Testing Track > 138-154
Lecture Notes in Computer Science > Algebraic Biology > 140-154
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Invited Papers > 28-42
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 68-82
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking II > 298-309
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 358-372
Lecture Notes in Computer Science > Computer Aided Verification > Session 1. Software Model Checking > 89-103
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Liveness > 236-250