Search results for: Sumit Gulwani
Lecture Notes in Computer Science > Computer Aided Verification > Session XII: Abstraction > 379-392
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 305-319
Lecture Notes in Computer Science > Computer Aided Verification > Session 10: Program and Shape Analysis > 370-384
Lecture Notes in Computer Science > Computer Aided Verification > Session 4: Hybrid Systems > 190-203
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 311-323
Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation I > 253-267
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 5. Invited Talk: Ashish Tiwari > 147-166
Lecture Notes in Computer Science > Computer Aided Verification > Session 9: Program Verification > 328-340
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 120-135
Lecture Notes in Computer Science > Static Analysis > Abstract Interpretation and Algorithms > 212-227
Lecture Notes in Computer Science > Static Analysis > 280-297