Tools

Current Tools

The following software tools have been developed by the FMT group over the recent years. We are still working on these tools and invite you to experiment with them.

	GROOVE
	JTorX: a Tool for Model-Based Testing
	LTSmin: Minimization and Instantiation of Labelled Transition Systems
	Markov Reward Model Checker
	MoonWalker
	SCOOP: Symbolic reductions of probabilistic specifications with data
	SpinJa - a model checker for Promela, written in Java

Legacy Tools

Below you can find several tools that have been developed by the FMT group, but that are not longer actively maintained and supported. You are still welcome to use these older tools, though.

	Bhave
	ETMCC2
	kimwitu
	LITE: LOTOS Integrated Tool Environment
	MoTor
	SLADE: Student LAnguage Development Environment
	TorX: a Tool for Model-Based Testing
	TorXviz: an approach to visualization (used by TorX and JTorX)