./devel/ltsa, Labelled Transition System Analyser

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2011Q2, Version: 2.2nb3, Package name: ltsa-2.2nb3, Maintainer: pkgsrc-users

A model is a simplified representation of the real world. Engineers
use models to gain confidence in the adequacy and validity of a proposed
design.

Models are described using state machines, known as Labelled Transition
Systems (LTS). These are described textually as Finite State Processes
(FSP) and displayed and analysed by the LTSA analysis tool.

This package provides the LTSA utility exposed above. It is specially
useful to be used together with the 'Concurrency: State Models & Java
Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.


Master sites:

SHA1: 79631fa8f9d8490b84b8c567a9394d5eb03a0e6a
RMD160: db0d0745849925d11abcfd77dfcc246f0fc7664e
Filesize: 827.162 KB

Version history: (Expand)