すべてのオプション
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ ソース: mona  ]

パッケージ: mona (1.4-18-1 など)

mona に関するリンク

Screenshot

Debian の資源:

mona ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

オートマトンを基にした定理証明ツール

MONA は、WS1S や WS2S 論理の式を BDD で表現された有限状態のオートマトンに変 換するツールです。式は検索パターン、反応システムの時間的特性、解析木の制約 などを表すことができます。MONA はまた、コンパイルの結果得られたオートマトン を解析してその式が妥当かどうかを判定し、妥当でなければ反例を生成します。

ドキュメンテーションは MONA のウェブサイト http://www.brics.dk/mona/ から入 手できます。

タグ: 分野: 数学, 役割: プログラム, 対象範囲: ユーティリティ

その他の mona 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

mona のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 1.4-18-1 332.6 kB1,854.0 kB [ファイル一覧]
amd64 1.4-18-1+b1 317.1 kB1,394.0 kB [ファイル一覧]
arm64 1.4-18-1+b2 284.8 kB1,656.0 kB [ファイル一覧]
armel 1.4-18-1+b1 260.9 kB1,383.0 kB [ファイル一覧]
armhf 1.4-18-1+b1 269.3 kB1,146.0 kB [ファイル一覧]
hppa (非公式の移植版) 1.4-18-1 320.2 kB1,264.0 kB [ファイル一覧]
i386 1.4-18-1+b1 326.8 kB1,362.0 kB [ファイル一覧]
ia64 (非公式の移植版) 1.4-18-1 351.1 kB2,274.0 kB [ファイル一覧]
loong64 (非公式の移植版) 1.4-18-1 285.5 kB1,378.0 kB [ファイル一覧]
m68k (非公式の移植版) 1.4-18-1 256.4 kB1,116.0 kB [ファイル一覧]
mips64el 1.4-18-1+b1 292.6 kB1,987.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 1.4-18-1 318.1 kB2,070.0 kB [ファイル一覧]
ppc64el 1.4-18-1+b1 325.0 kB1,929.0 kB [ファイル一覧]
riscv64 1.4-18-1+b1 428.2 kB2,685.0 kB [ファイル一覧]
s390x 1.4-18-1+b1 286.8 kB1,462.0 kB [ファイル一覧]
sh4 (非公式の移植版) 1.4-18-1 304.6 kB1,009.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 1.4-18-1 258.4 kB1,428.0 kB [ファイル一覧]
x32 (非公式の移植版) 1.4-18-1 307.2 kB1,198.0 kB [ファイル一覧]