This is an old revision of the document!
This is the homepage of kTBS, a development effort of the SILEX team lead by Pierre-Antoine Champin to provide a generic kernel for Trace-Based Systems.
NB: This is only a prototype at the moment!…
Here are some information about kTBS:
For more information on Trace-Based Systems, see the publications of the SILEX team.