These forums are about the RDT (Rule Driven Transformation) tool that is being developed in the CHARTER project.
All bugs, problems and questions can be posted here.
FMT continuous integration server
A Tool for Model-Based Testing (implemented in Java)
LTSmin, originally Minimization and Instantiation of Labelled Transition Systems, has become a language-independent model checker that offers a wide spectrum of parallel and symbolic algorithms to deal with the state space explosion of different verification problems. ...
A Virtual Machine for State Space Generation
Publish yOur Prototype Tool On Line
Documentation for the compute cluster Twickel.The following EWI research groups are members of the projects:
A tool for extracting class/methods usage statistics from java byte code.
Also available in: Atom