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.
A living documentation is available. For more information on Trace-Based Systems, see the publications of the SILEX team.
For developpers, you can download the python source of kTBS on SVN:
svn co https://svn.liris.cnrs.fr/sbt-dev/ktbs-rest-impl/trunk ktbsNB: This is only a prototype at the moment!...