Pakiet: lbt (1.2.2-7) [debports]

[ Pakiet źródłowy:  ]

Konwertowanie formuł LTL na automaty Büchiego

Ten program konwertuje formułę liniowej logiki temporalnej (LTL) na uogólniony automat Büchiego. Otrzymany automat można wykorzystać np. przy sprawdzaniu modeli, gdzie reprezentuje on właściwość podlegającą weryfikacji w modelu (np. sieci Petriego).

Inne pakiety związane z lbt

• dep: libc6 (>= 2.11)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s4 (>= 4.1.1)

  Biblioteka wspomagająca GCC

• dep: libstdc++6 (>= 5)

  Standardowa biblioteka GNU C++, wersja 3

• rec: graphviz

  rich set of graph drawing tools

Pobieranie lbt

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
hppa (port nieoficjalny)	28,6 KiB	87,0 KiB	[lista plików]