Bug#146321: ITP: lbt -- Converter of LTL formulas to Buechi automata
* Package name: lbt
Version: 1.2.1
Upstream Author: Mauno Rönkkö <mauno.ronkko@cs.utu.fi>
* URL: http://www.tcs.hut.fi/Software/maria/tools/lbt/
* Licence: GPL
Description: Converter of LTL formulas to Buechi automata
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).
---
There has been an RFP for this package (bug #146321).
-Ralf Treinen
--
Reply to: