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

- Source version: `ltsa-2.2nb3`
- Maintainer: pkgsrc-users AT NetBSD.org
- Website: none stated
- License: none stated
- Package history: cvs, hg, git

## Build dependencies

pkgtools/mktools pkgtools/cwrappers

## Runtime dependencies

lang/openjdk17 lang/openjdk17

## Binary packages

OS | Architecture | Version
--- | --- | ---
NetBSD 10.0 | aarch64 | ltsa-2.2nb3.tgz
NetBSD 10.0 | aarch64 | ltsa-2.2nb3.tgz
NetBSD 10.0 | earmv6hf | ltsa-2.2nb3.tgz
NetBSD 10.0 | earmv6hf | ltsa-2.2nb3.tgz
NetBSD 10.0 | earmv7hf | ltsa-2.2nb3.tgz
NetBSD 10.0 | earmv7hf | ltsa-2.2nb3.tgz
NetBSD 10.0 | i386 | ltsa-2.2nb3.tgz
NetBSD 10.0 | i386 | ltsa-2.2nb3.tgz
NetBSD 10.0 | powerpc | ltsa-2.2nb3.tgz
NetBSD 10.0 | powerpc | ltsa-2.2nb3.tgz
NetBSD 10.0 | sparc64 | ltsa-2.2nb3.tgz
NetBSD 10.0 | sparc64 | ltsa-2.2nb3.tgz
NetBSD 10.0 | sparc64 | ltsa-2.2nb3.tgz
NetBSD 10.0 | x86_64 | ltsa-2.2nb3.tgz
NetBSD 10.0 | x86_64 | ltsa-2.2nb3.tgz
NetBSD 11.0 | aarch64 | ltsa-2.2nb3.tgz
NetBSD 11.0 | aarch64 | ltsa-2.2nb3.tgz
NetBSD 11.0 | earmv6hf | ltsa-2.2nb3.tgz
NetBSD 11.0 | earmv6hf | ltsa-2.2nb3.tgz
NetBSD 11.0 | earmv7hf | ltsa-2.2nb3.tgz
NetBSD 11.0 | earmv7hf | ltsa-2.2nb3.tgz
NetBSD 11.0 | i386 | ltsa-2.2nb3.tgz
NetBSD 11.0 | i386 | ltsa-2.2nb3.tgz
NetBSD 11.0 | powerpc | ltsa-2.2nb3.tgz
NetBSD 11.0 | x86_64 | ltsa-2.2nb3.tgz
NetBSD 11.0 | x86_64 | ltsa-2.2nb3.tgz
NetBSD 9.0 | aarch64 | ltsa-2.2nb3.tgz
NetBSD 9.0 | aarch64 | ltsa-2.2nb3.tgz
NetBSD 9.0 | earmv6hf | ltsa-2.2nb3.tgz
NetBSD 9.0 | earmv6hf | ltsa-2.2nb3.tgz
NetBSD 9.0 | earmv7hf | ltsa-2.2nb3.tgz
NetBSD 9.0 | earmv7hf | ltsa-2.2nb3.tgz
NetBSD 9.0 | i386 | ltsa-2.2nb3.tgz
NetBSD 9.0 | powerpc | ltsa-2.2nb3.tgz
NetBSD 9.0 | x86_64 | ltsa-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

(no vulnerabilities known)

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.