GitHub repository: statinf-otawa/otawa
Primary language: C++
Description: OTAWA: An Open Toolbox for Adaptive WCET Analysis. Fork of https://git.renater.fr/anonscm/git/otawa/otawa.git