User Tools

Site Tools


tools:ktbs

This is an old revision of the document!


kTBS

A kernel for Trace-Based Systems.

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.

tools/ktbs.1411842426.txt.gz · Last modified: 2014/09/27 20:27 by pchampin

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