ltsa-2.2nb3.tgz


Advertisement

Description

ltsa - Labelled Transition System Analyser

Property Value
Distribution NetBSD 8.1
Repository NetBSD i386
Package filename ltsa-2.2nb3.tgz
Package name ltsa
Package version 2.2nb3
Package release -
Package architecture i386
Package type tgz
Category devel
Homepage -
License -
Maintainer -
Download size 741.66 KB
Installed size 982.45 KB
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/.

Alternatives

Package Version Architecture Repository
ltsa-2.2nb3.tgz 2.2nb3 amd64 NetBSD
ltsa - - -

Requires

Name Value
openjdk11 >= 1.11.0.5.8

Download

Type URL
Mirror ftp.netbsd.org
Binary Package ltsa-2.2nb3.tgz
Source Package ltsa

Install Howto

Install ltsa tgz package:

# pkg_add ltsa

See Also

Package Description
lua-lrexlib-2.7.2nb3.tgz Regexp libraries for Lua programming language
lua-mode-20130419.tgz Emacs major mode for editing Lua code
lua-thrift-0.13.0.tgz Lua bindings for the Apache Thrift RPC system
lua51-5.1.5nb3.tgz Powerful light-weight language for extending applications
lua51-BitOp-1.0.2nb1.tgz Lua module which adds bitwise operations on numbers
lua51-LDoc-1.4.6.tgz Lua Documentation Tool
lua51-alt-getopt-0.8.0.tgz Lua API for getopt similar to getopt_long(3)
lua51-bitlib-5.3.0nb1.tgz Lua 5.2 bit manipulation library
lua51-cjson-2.1.0nb2.tgz Lua CJSON provides JSON support for Lua
lua51-copas-2.0.2.tgz Dispatcher based on coroutines that can be used by TCP_IP servers
lua51-coxpcall-1.16.0.tgz Module to encapsulate protected calls with a coroutine based loop
lua51-cqueues-20171014nb1.tgz Stackable Continuation Queues for Lua
lua51-curl-0.3.11.tgz Full lua bindings for libcurl
lua51-expat-1.3.0nb2.tgz XML parser for LUA based on expat
lua51-filesystem-1.7.0.tgz File system related library for Lua
Advertisement
Advertisement