OTAWA is a generic framework for the computation of Worst-Case Execution Time. Delivered under the LGPL licence, it provides a versatile environment with services for static analyses on executables.

Contact:
Christine Rochange (rochange@irit.fr)