Sudipta Chattopadhyay, Abhik Roychoudhury. Scalable and precise refinement of cache timing analysis via path-sensitive verification. Real-Time Systems, 49(4):517-562, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.