[ 源代码: lbt ]
软件包:lbt(1.2.2-7 以及其他的)
converts from LTL formulas to Büchi automata
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).
其他与 lbt 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.11) [hppa]
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
- dep: libc6 (>= 2.14) [amd64]
- dep: libc6 (>= 2.16) [x32]
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.30) [sh4]
- dep: libc6 (>= 2.34) [riscv64]
- dep: libc6 (>= 2.7) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]
-
- dep: libc6.1 (>= 2.30) [ia64]
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6.1-udeb
- dep: libc6.1 (>= 2.7) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [sh4, sparc64]
- GCC 支持库
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC 支持库
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC 支持库
-
- dep: libstdc++6 (>= 11) [riscv64]
- GNU 标准 C++ 库,第3版
- dep: libstdc++6 (>= 5) [除 riscv64]
-
- rec: graphviz
- rich set of graph drawing tools
下载 lbt
硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
---|---|---|---|---|
alpha (非官方移植版) | 1.2.2-7 | 30.0 kB | 104.0 kB | [文件列表] |
amd64 | 1.2.2-7 | 29.9 kB | 100.0 kB | [文件列表] |
arm64 | 1.2.2-7 | 28.7 kB | 88.0 kB | [文件列表] |
armel | 1.2.2-7 | 26.0 kB | 82.0 kB | [文件列表] |
armhf | 1.2.2-7 | 26.3 kB | 66.0 kB | [文件列表] |
hppa (非官方移植版) | 1.2.2-7 | 28.6 kB | 87.0 kB | [文件列表] |
i386 | 1.2.2-7 | 31.0 kB | 102.0 kB | [文件列表] |
ia64 (非官方移植版) | 1.2.2-7 | 35.7 kB | 136.0 kB | [文件列表] |
m68k (非官方移植版) | 1.2.2-7 | 25.3 kB | 86.0 kB | [文件列表] |
mips64el | 1.2.2-7 | 28.5 kB | 97.0 kB | [文件列表] |
ppc64 (非官方移植版) | 1.2.2-7 | 31.2 kB | 168.0 kB | [文件列表] |
ppc64el | 1.2.2-7 | 31.2 kB | 168.0 kB | [文件列表] |
riscv64 | 1.2.2-7+b1 | 30.8 kB | 89.0 kB | [文件列表] |
s390x | 1.2.2-7 | 28.0 kB | 96.0 kB | [文件列表] |
sh4 (非官方移植版) | 1.2.2-7 | 28.5 kB | 70.0 kB | [文件列表] |
sparc64 (非官方移植版) | 1.2.2-7 | 25.9 kB | 89.0 kB | [文件列表] |
x32 (非官方移植版) | 1.2.2-7 | 29.8 kB | 94.0 kB | [文件列表] |