Computation of WCET using Program Slicing and Real-Time Model-Checking

Jean-Luc Béchennec Franck Cassez Computation of WCET using Program Slicing and Real-Time Model-Checking http://arxiv.org/abs/1105.1633 2011 CoRR abs/1105.1633 db/journals/corr/corr1105.html#abs-1105-1633