Julien Forget
Maître de conférences-HDR
CNU : SECTION 27 - INFORMATIQUE
Laboratoire / équipe
Détail d'une actualité
Our Symbolic WCET computation tool WSymb is released
WSymb, our Symbolic Worst-Case Execution Time computation tool, is now available to the public. The main specificity of WSymb is that, instead of a constant WCET, it computes a WCET formula, where symbols (or parameters) can correspond to various kinds of values unnkown at analysis time. The formula can later be instanciated, when parameter values are known.
Check it out on the CRIStAL gitlab