Documents © 2012 Carnegie Mellon University Compositional Sequentialization of Periodic Programs Sagar Chaki....

Slide 1 © 2012 Carnegie Mellon University Compositional Sequentialization of Periodic Programs Sagar Chaki 1, Arie Gurfinkel 1, Soonho Kong 2, Ofer Strichman 3 Jan 22, 2013…

Documents © 2013 Carnegie Mellon University Static Analysis of Real-Time Embedded Systems with REK Arie...

Slide 1 © 2013 Carnegie Mellon University Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel 1 joint work with Sagar Chaki 1, Ofer Strichman 2, and Soonho…