Search results for: K. Rajamani
Herzschrittmachertherapie + Elektrophysiologie > 2018 > 29 > 2 > 233-235
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 > Power-Aware Computer Systems > Power-Aware Memory and Interconnect Systems > 61-77