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
295 B
Text
6 lines
295 B
Text
$NetBSD: distinfo,v 1.1.1.1 2010/06/12 23:15:38 jihbed Exp $
|
|
|
|
SHA1 (lbt-1.2.2.tar.gz) = 4e25e78ff1253b092f5579d80b9922a652c90588
|
|
RMD160 (lbt-1.2.2.tar.gz) = 83166dc7ca4de6e5b2307d25d2d3d335e0628772
|
|
Size (lbt-1.2.2.tar.gz) = 20587 bytes
|
|
SHA1 (patch-aa) = 000204a2b101806cd0a7315fd7afdf600d199d6b
|