ow-analysis problems, which ask for bounds on the number of times certain parts of the code can be executed. The benchmarks to be used in WCC'11 were debie1, PapaBench, and an industrial-strength application from the automotive domain provided by Daimler AG. Two default execution platforms were suggested to the participants, the ARM7 as \simple target" and the MPC5553/5554 as a \complex target," but participants were free to use other platforms as well. Ten tools participated in WCC'11: aiT, Astree, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA.
|Publisher||Christian-Albrechts-Universität zu Kiel|
|Number of pages||45|
|Publication status||Published - 2012|