A talk presenting OTAWA toolbox for WCET computation - AdaCore Internal Seminar

AdaCore Internal Seminar - Wednesday april 3, 2013.

Hugues Cassé, one of the principal architects and developers of the toolbox, will come to the AdaCore Paris offices to give a talk presenting the OTAWA toolbox for WCET computation.

OTAWA is a set of libraries and static analysis tools aimed at allowing WCET computation based on an abstract representation of the machine code and the target hardware, with existing mappings for a set of popular processors. For more details, see http://www.otawa.fr

If you are interested in attending this talk, please send email to events@adacore.com.