Mingsong Lv, Wang Yi, Nan Guan, Ge Yu. Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. In Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010. pages 339-349, IEEE Computer Society, 2010. [doi]
Abstract is missing.