./wip/lbt, Converts from LTL formulas to Büchi automata

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 1.2.2, Package name: lbt-1.2.2, Maintainer: jihbed.research

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).


Required to build:
[pkgtools/cwrappers]

Master sites:

RMD160: 83166dc7ca4de6e5b2307d25d2d3d335e0628772
Filesize: 20.104 KB

Version history: (Expand)


CVS history: (Expand)


   2012-10-03 11:10:35 by Aleksej Saushev | Files touched by this commit (193)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2010-06-13 01:15:38 by Kamel Derouiche | Files touched by this commit (5) | Imported package
Log message:
Import lbt-1.2.2 as wip/lbt.

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).