Search results for: Mooly Sagiv
Formal Methods in System Design > 2019 > 54 > 2 > 191-231
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > System and Program Verification, Model Checking and Theorem Proving > 215-253
Lecture Notes in Computer Science > Computer Aided Verification > Session 18. Shape Analysis > 547-561
Lecture Notes in Computer Science > Static Analysis > Shape Analysis > 265-279
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 651-665
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction > 530-545
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 4 > 215-233
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Heap and Shape Analysis > 181-198
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 380-398
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 8. First-Order Logic > 311-327
Lecture Notes in Computer Science > Static Analysis > Data Structures > 194-212
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 33-48