Bug#146321: RFP: lbt - Translator from LTL formulae to generalized Büchi automata

[debacle <debacle@knorke.in-berlin.de>]

Package: wnpp
Severity: wishlist
Version: N/A

URL: ftp://ftp.tcs.hut.fi/pub/Software/maria/src/lbt*tar.gz
Authors: Mauno Rönkkö <mauno.ronkko@abo.fi> and others
License: GPLv2

LBT stands for LTL to Büchi Translator.  It translates a Linear Temporal
Logic formula to a corresponding generalized Büchi automaton that can
be used by a model checking tool for verifying liveness properties of
a concurrent system.



--
To UNSUBSCRIBE, email to debian-wnpp-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org