The following resources are available: Slides
Demonstration Programs Labelled
Transition System Analyzer Labelled
Transition System Analyzer V2.2 |
|
published by Wiley
|
|
New LTSA V2.2 - release(1/9/01)
DOWNLOAD - LTS Analyzer Tool
and Example Applets (3409KB)
(Self extracting Installer for Windows 95, 98 & NT).
LTSA - bug fix release (14/4/99)
Supplement on Program Verification (17/9/99)
Comments, bugs, problems etc. - email jnm@doc.ic.ac.uk or jk@doc.ic.ac.uk