Screenshots

Jump to: navigation, search

Linux (GTK)
XSim simulating a modular system for lifting trucks	LTSGraph showing the state space of three dining philosophers	mCRL2-gui is a graphical front-end of the toolset

Mac OS X
LTSView depicting the state space of the controller of a truck lifting system	The statespace of the alternating bit protocol depicted using diagraphica

Microsoft Windows
A variety of tools running on Windows Vista, including SQuADT, LTSView, Diagraphica and LTSGraph.	XSim simulating an automated parking garage using a plugin to visualise the current state of the system.