套件：mona（1.4-18-1 以及其他的）

[ 原始碼： mona  ]

theorem prover based on automata

MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.

Documentation is available from the MONA website http://www.brics.dk/mona/.

標籤: 領域: 數學, 角色: 程式, 範圍: 實用程式

其他與 mona 有關的套件

• dep: libc6 (>= 2.34) [除 arm64]

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

  dep: libc6 (>= 2.38) [arm64]

• dep: libgcc-s1 (>= 3.0) [除 armel, armhf]

  GCC 支援函式庫

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libstdc++6 (>= 11) [除 arm64, riscv64]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 13.1) [riscv64]

  dep: libstdc++6 (>= 14) [arm64]

• rec: graphviz

  rich set of graph drawing tools

下載 mona

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
amd64	1.4-18-1+b1	317。1 kB	1，394。0 kB	[檔案列表]
arm64	1.4-18-1+b2	284。8 kB	1，656。0 kB	[檔案列表]
armel	1.4-18-1+b1	260。9 kB	1，383。0 kB	[檔案列表]
armhf	1.4-18-1+b1	269。3 kB	1，146。0 kB	[檔案列表]
i386	1.4-18-1+b1	326。8 kB	1，362。0 kB	[檔案列表]
mips64el	1.4-18-1+b1	292。6 kB	1，987。0 kB	[檔案列表]
ppc64el	1.4-18-1+b1	325。0 kB	1，929。0 kB	[檔案列表]
riscv64	1.4-18-1+b1	428。2 kB	2，685。0 kB	[檔案列表]
s390x	1.4-18-1+b1	286。8 kB	1，462。0 kB	[檔案列表]