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-5
Architecture:s390x
Distribution:Debian
Filename:lbt_1.2.2-5_s390x.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-5) unstable; urgency=low

  * debian-control:
    - set Maintainer to debian-science
    - set Section to science
    - set Prioriy to extra
    - Standards-Version 3.9.2 (no change)
    - add Dependency on ${misc:Depends}
  * migrate to source format 3.0 (quilt)
  * rename debian/dirs to debian/lbt.dirs
  * manpage for lbt2dot is symlink to lbt.1 
  * simplify call to dh_installchangel
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-5_s390x.deb

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

Download lbt_1.2.2-5_s390x.deb

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