User Tools

Site Tools


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.

start.1366103624.txt.gz · Last modified: 2013/04/16 11:13 by pchampin

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