devel/ltsa - The NetBSD Packages Collection

Labelled Transition System Analyser

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/.

Build dependencies

pkgtools/cwrappers

Runtime dependencies

lang/openjdk11 lang/openjdk11

Binary packages

OSArchitectureVersion
NetBSD 8.0i386ltsa-2.2nb3.tgz
NetBSD 8.0i386ltsa-2.2nb3.tgz
NetBSD 8.0powerpcltsa-2.2nb3.tgz
NetBSD 8.0powerpcltsa-2.2nb3.tgz
NetBSD 8.0powerpcltsa-2.2nb3.tgz
NetBSD 8.0x86_64ltsa-2.2nb3.tgz
NetBSD 8.0x86_64ltsa-2.2nb3.tgz
NetBSD 9.0aarch64ltsa-2.2nb3.tgz
NetBSD 9.0aarch64ltsa-2.2nb3.tgz
NetBSD 9.0alphaltsa-2.2nb3.tgz
NetBSD 9.0alphaltsa-2.2nb3.tgz
NetBSD 9.0earmv6hfltsa-2.2nb3.tgz
NetBSD 9.0earmv6hfltsa-2.2nb3.tgz
NetBSD 9.0earmv7hfltsa-2.2nb3.tgz
NetBSD 9.0i386ltsa-2.2nb3.tgz
NetBSD 9.0i386ltsa-2.2nb3.tgz
NetBSD 9.0i386ltsa-2.2nb3.tgz
NetBSD 9.0powerpcltsa-2.2nb3.tgz
NetBSD 9.0powerpcltsa-2.2nb3.tgz
NetBSD 9.0sparc64ltsa-2.2nb3.tgz
NetBSD 9.0sparc64ltsa-2.2nb3.tgz
NetBSD 9.0sparcltsa-2.2nb3.tgz
NetBSD 9.0x86_64ltsa-2.2nb3.tgz
NetBSD 9.0x86_64ltsa-2.2nb3.tgz
NetBSD 9.0x86_64ltsa-2.2nb3.tgz
NetBSD 9.0x86_64ltsa-2.2nb3.tgz
NetBSD 9.0x86_64ltsa-2.2nb3.tgz
NetBSD 9.0x86_64ltsa-2.2nb3.tgz
NetBSD 9.0x86_64ltsa-2.2nb3.tgz

Binary packages can be installed with the high-level tool pkgin (which can be installed with pkg_add) or pkg_add(1) (installed by default). The NetBSD packages collection is also designed to permit easy installation from source.

Available build options

(none)

Known vulnerabilities

The pkg_admin audit command locates any installed package which has been mentioned in security advisories as having vulnerabilities.

Please note the vulnerabilities database might not be fully accurate, and not every bug is exploitable with every configuration.


Problem reports, updates or suggestions for this package should be reported with send-pr.