Analysis
The Department of Computing, Imperial College London provides the core LTSA model checker in the Analysis services within the SENSORIA browser.