Filewatcher File Search File Search
Catalog
Content Search
» » » » »

lbt

converts from LTL formulas to Büchi automata

Variants:
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).
Homepage:
Package version:1.2.2-4
Architecture:amd64
Distribution:Debian
Filename:lbt_1.2.2-4_amd64.deb

/usr/share/man/man1/lbt.1.gz

LBT(1)                                                        LBT(1)



NAME
       lbt - LTL to Büchi Translator

SYNOPSIS
       lbt < formula.txt > automaton.txt
       lbt2dot < automaton.txt > automaton.dot

DESCRIPTION
       This  manual  page documents briefly the lbt and lbt2dot com‐
       mands.  This manual page was written for the Debian GNU/Linux
       distribution  because  the 
more»

/usr/share/doc/lbt/changelog.Debian.gz

lbt (1.2.2-4) unstable; urgency=low

  * debian/lbt.doc-base: Change field descriptor "Authors" to "Author"
    (closes: Bug#466458).
  * debian/rules: do not ignore errors of "make clean".
  * Standards-Version 3.8.3 
  * debian/control: added Homepage field.
  * debhelper compatibility level 7.
    - debian/rules: dh_clean -k => dh_prep
  * debian/copyright:
    - add a proper copyright notice.

more»

/usr/share/doc/lbt/changelog.gz

2004-12-29  Marko M�kel�  <Marko.Makela@HUT.FI>
	* NEWS: Release 1.2.2, 29th December 2004

2004-12-27  Marko M�kel�  <Marko.Makela@HUT.FI>

	* ChangeLog, NEWS: Moved up one level from doc/ChangeLog
	* Makefile: Merge with lbt 1.1.1
	* NEWS, doc/index.html: Update for lbt 1.2.2

2004-09-03  Heikki Tauriainen  <heikki.tauriainen@hut.fi>

	* LtlGraph.h (LtlGraph::expand, LtlGraph::add): Remove.
	* L
more»

/usr/share/doc/lbt/copyright

This package was debianized by Ralf Treinen <treinen@debian.org> on
Sun,  4 Aug 2002 13:36:02 +0200.
more»

Browse inside lbt_1.2.2-4_amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download lbt_1.2.2-4_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com