|
СТ |
Summarizing Procedures in Concurrent Programs |
2004 |
Qadeer S., Rajamani S. K., Rehof J. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft |
2004 |
Ball T., Cook B., Levin V., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis |
2002 |
Adams S., Ball T., Das M., Lerner S., Rajamani S. K., Seigle M., Weimer W. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
|
СТ |
Conformance Checking for Models of Asynchronous Message Passing Software |
2002 |
Rajamani S. K., Rehof J. |
|
|
|
Lecture Notes in Computer Science |
31.08.2002 |
|
СТ |
Relative Completeness of Abstraction Refinement for Software Model Checking |
2002 |
Ball T., Podelsi A., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
A Behavioral Module System for the Pi-Calculus |
2001 |
Rajamani S. K., Rehof J. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
Automatically Validating Temporal Safety Properties of Interfaces |
2001 |
Ball T., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
14.06.2001 |
|
СТ |
Boolean and Cartesian Abstraction for Model Checking C Programs |
2001 |
Ball T., Podelski A., Rajamani S. K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
Bebop: A Symbolic Model Checker for Boolean Programs |
2000 |
Ball T., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
26.09.2000 |
|
СТ |
Assume-Guarantee Refinement between Different Time Scales |
1999 |
Henzinger T. A., Qadeer S., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems |
1999 |
Henzinger T. A., Qadeer S., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
