Sidebar
start
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
|
|
|
|
|