lbt - 1.2.2-7+b1 main

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

Priority: optional
Section: science
Suites: amber byzantium crimson dawn landing 
Maintainer: Debian Science Maintainers <debian-science-maintainers [꩜] lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 173.1 kB
Architectures: amd64  arm64 

 

Versions

1.2.2-7+b1 arm64 1.2.2-7 arm64 1.2.2-7 amd64