Combining abstract interpretation with model checking for timing analysis of multicore software. (0)

by Mingsong Lv, Nan Guan, Wang Yi, Ge Yu
Venue:Proc. 31th IEEE Real-Time Systems Symposium (RTSS’10),