math/ltl2ba 1.3 FreeBSD

Fast translation from LTL formulae to Buchi automata

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: GPLv2
Categories: math
Package size: 31.2 KiB, 71.9 KiB installed

Description

ltl2ba implements an algorithm of P. Gastin and D. Oddoux to generate Buchi automata from linear temporal logic (LTL) formulae. This algorithm generates a very weak alternating automaton and then transforms it into a Buchi automaton, using a generalized Buchi automaton as an intermediate step. Each automaton is simplified on-the-fly in order to save memory and time. As usual the LTL formula is simplified before any treatment. ltl2ba is more efficient than Spin 3.4.1, with regard to the size of the resulting automaton, the time of the computation, and the memory used.

In the other systems

System

Port

Version

FreeBSD

math/ltl2ba

1.3

DragonFly

math/ltl2ba

1.3

Install

Binary package:

pkg install ltl2ba

From the ports tree:

cd /usr/ports/math/ltl2ba/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	ltl2ba>0:math/ltl2ba

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository	aarch64	amd64	armv6	armv7	i386
FreeBSD:14:latest	1.3	1.3	1.3	1.3	1.3
FreeBSD:14:quarterly	1.3	1.3	n/a	1.3	1.3
FreeBSD:15:latest	1.3	1.3	n/a	1.3	1.3
FreeBSD:15:quarterly	1.3	1.3	n/a	n/a	n/a
FreeBSD:16:latest	1.3	1.3	n/a	n/a	n/a
FreeBSD:16:quarterly	n/a	n/a	n/a	n/a	n/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

The full lists below include those, and their dependencies in turn.

No port depends on this one.

Configuration

No options to configure.

Service scripts: none

Files

distinfo 1

File

Size

SHA256

ltl2ba-1.3.tar.gz

38265

912877cb2929cddeadfd545a467135a2c61c507bbd5ae0edb695f8b5af7ce9af

Master sites 1

http://www.lsv.fr/~gastin/ltl2ba/

Commit history 0

No commits in the history this site was built from.