User Tools

Site Tools



This is the homepage of kTBS, a development effort of the Tweak team (formerly Silex) lead by Pierre-Antoine Champin to provide a generic kernel for Trace-Based Systems.

Here are some information about kTBS:

For more information on Trace-Based Systems, see the publications of the SILEX team.

tools/ktbs.txt · Last modified: 2015/07/16 20:05 by acordier

CNRS INSA de Lyon Université Lyon 1 Université Lyon 2 École centrale de Lyon