User Tools

Site Tools


tools:ktbs

This is an old revision of the document!


kTBS

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.1437069922.txt.gz · Last modified: 2015/07/16 20:05 by acordier

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