Search results for: Daniel Kroening
Formal Aspects of Computing > 2017 > 29 > 5 > 911-931
Information and Computation > 2017 > 252 > C > 30-47
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