LTSA Eclipse is a verification tool for concurrent systems. It mechanically checks that the specification of a concurrent system satisfies the properties required of its behaviour. In addition, LTSA supports specification animation to facilitate interactive exploration of system behaviour.
FosterEvolution
Wednesday, 22 June 2011 20:43
LTSA Eclipse
- Written by H.Foster
-
font size
decrease font size
increase font size
Additional Info
- Name: LTSAEclipse
- Download: Website at Imperial College
- Features:
- Help Guide: Help Guide
Read 232 times
Published in
Model-based Verification