BSD Portsdevel/ltsa 2.2nb3 NetBSD
Labelled Transition System Analyser
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- Categories
- devel
- Package size
- 741.8 KiB, 982.5 KiB installed
Description
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/.
Install
Binary package:
pkgin install ltsaFrom pkgsrc:
cd /usr/pkgsrc/devel/ltsa && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 2.2nb3 |
| NetBSD 10.1 aarch64 | 2.2nb3 |
| SmartOS / illumos x86_64 | 2.2nb3 |
| macOS 15 arm64 | 2.2nb3 |
Dependencies
Run dependencies 1
No port depends on this one.