Search results for: Sriram K. Rajamani
Lecture Notes in Computer Science > Model Checking Software > Automatically validating temporal safety properties of interfaces > 102-122
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Efficient Model-Checking > 299-314
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 158-172
Lecture Notes in Computer Science > Static Analysis > Mobility > 375-394
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction, Interpolation > 443-458
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 268-283
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Refinement > 474-488
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 330-344