Scalable and precise refinement of cache timing analysis via path-sensitive verification

• المؤلفون الرئيسيون: Chattopadhyay, S., Roychoudhury, A.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2014
• الموضوعات: Abstract interpretation; Constraint solving; Model checking; WCET analysis
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/78331

10.1007/s11241-013-9178-0