053a3843d5
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).
6 lines
166 B
Text
6 lines
166 B
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2010/06/12 23:15:38 jihbed Exp $
|
|
bin/lbt
|
|
bin/lbt2dot
|
|
share/doc/lbt/index.html
|
|
share/doc/lbt/notgp0-opt.png
|
|
share/doc/lbt/notgp0.png
|