Explore projects

A set of otawa plugin

explo just prints some information about BB initialize_RMB_LMB computes rmb and lmb for each BB

Application Node.js / Web pour générer le guide des études à partir des fiches UE exportées depuis une base de données Moodle.

This directory is used as a storage for the MonoBase database.

TnSeek public repository

Documentation and tutorials for OTAWA plugin development and use.

Sujets de stages de recherche

Control Flow Tree extractor and symbolic WCET evaluator plugin for OTAWA v2