File: ara201d_Sparc.tar.Z Proposed directory (/pub/msdos/?/?): /pub/unix/languages/lotos Short descriptor (max 42 chars): ARA Tools/Demo is a LOTOS language analyzer Version: 2.01/Demo Keywords: ARA, LOTOS, Basic LOTOS, State Space Generator, Reachability Analysis, LTS, CFFD, graphical illustration Author: VTT Electronics, Finland (Jukka.Kemppainen@vtt.fi) Usage environment (Machine/OS/Hardware): Sun OS/Sparc Related files/things: ara201d.me contains the 'readme' file of ARA Tools/Demo ara201d.zip is a ms dos/windows version of ARA Tools/Demo Other comments: Verbose descriptor: ARA Tools is a set of tools for analysing the behaviour of concurrent systems. ARA Tools can analyse models of concurrent systems that are written in ARA LOTOS language, which contains Basic LOTOS, subset of Full LOTOS and some extensions. ARA Tools are based on reachability analysis and they can be used for finding errors in or analyzing the behaviour of concurrent systems. They can be used for finding deadlocks, synchronization errors, illegal functionality and other errors related to logical behaviour of a concurrent system. Suitable application areas are communication protocols, process control systems and embedded systems. ARA Tools/Demo is exactly the same tools as full ARA Tools, but the capacity of the ARA Tools/Demo is limited to 3500 states. If you are interested to use the full ARA Tools, please contact the authors of ARA Tools