Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.

Mingsong Lv, Wang Yi, Nan Guan, Ge Yu

Browse the full RTSS paper archive.