The kTBS is a development effort of the SILEX team lead by Pierre-Antoine Champin to provide a generic kernel for Trace-Based Systems.
Descriptif du projet 1.
Descriptif du projet 2.
Descriptif du projet 3.
kTBS code
kTBS documentation