Screenshots

XSim simulating a modular system for lifting trucks

LTSGraph showing the state space of three dining philosophers

LTSView depicting the state space of the controller of a truck lifting system

SQuADT is used to analyse Tanenbaum's third sliding window protocol, revealing a livelock

The statespace of the alternating bit protocol depicted using diagraphica

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.