wip/lbt 1.2.2 NetBSD

Converts from LTL formulas to Büchi automata

Homepage
Browse the package
Other distributions
Search similar

System: NetBSD
Repository: pkgsrc-wip
Maintainer: [email protected]
License: gnu-gpl-v2
Categories: wip, math

Description

This software converts a linear temporal logic (ltl) formula to a generalised B?chi automaton.The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).

Install

From pkgsrc-wip (no binary package):

cd /usr/pkgsrc/wip/lbt && make install clean

Dependencies

No port depends on this one.