Pakiet: lbt (1.2.2-7)

[ Pakiet źródłowy: lbt  ]

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

Znaczniki: Dziedzina: Matematyka, Interfejs użytkownika: Wiersz poleceń, Rola: role::program, scope::utility, Przeznaczenie: Konwersja danych

Inne pakiety związane z lbt

• dep: libc6 (>= 2.14) [amd64]

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

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.7) [nie amd64, arm64, ppc64el]

• 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
amd64	29,9 KiB	100,0 KiB	[lista plików]
arm64	28,7 KiB	88,0 KiB	[lista plików]
armel	26,0 KiB	82,0 KiB	[lista plików]
armhf	26,3 KiB	66,0 KiB	[lista plików]
i386	31,0 KiB	102,0 KiB	[lista plików]
mips64el	28,5 KiB	97,0 KiB	[lista plików]
mipsel	28,2 KiB	90,0 KiB	[lista plików]
ppc64el	31,2 KiB	168,0 KiB	[lista plików]
s390x	28,0 KiB	96,0 KiB	[lista plików]