all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: lbt  ]

Package: lbt (1.2.2-5)

Links for lbt

Screenshot

Debian Resources:

Download Source Package lbt:

Maintainers:

External Resources:

Similar packages:

konverterer fra LTL-formler til Büchi-automata

Dette program konverterer en lineær temporal logik-formel (ltl) til en generaliseret Büchi-automat. Den resulterende automat kan bruges, for eksempel, i modelkontrol, hvor den repræsenterer en egenskab, som skal verificeres fra en model (f.eks. et Petri-net).

Tags: Field: Mathematics, User Interface: Command Line, Role: role::program, scope::utility, Purpose: Data Conversion

Other Packages Related to lbt

  • depends
  • recommends
  • suggests
  • enhances

Download lbt

Download for all available architectures
Architecture Package Size Installed Size Files
sparc 31.0 kB136.0 kB [list of files]