Sidebar
public:ktbs
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.
public/ktbs.1381868122.txt.gz · Last modified: 2013/10/15 22:15 by acordier
|
|
|
|
|