パッケージ: dafny (2.3.0+dfsg-0.1)

dafny に関するリンク

Debian の資源:

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

メンテナ:

Benjamin Barenblat (QA ページ)

外部の資源:

ホームページ [research.microsoft.com]

類似のパッケージ:

programming language with program correctness verifier

Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones.

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

依存

推奨

提案

enhances

dep: libboogie-cil

検証可能プログラミング言語 (ライブラリ)
dep: libmono-corlib4.5-cil (>= 5.18.0.240)

Mono コアライブラリ（CLI 4.5 用）
dep: libmono-system-core4.0-cil (>= 5.18.0.240)

Mono System.Core library (for CLI 4.0)
dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)

Mono System.Numerics library (for CLI 4.0)
dep: libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)

Mono System.Runtime.Serialization Library (for CLI 4.0)
dep: libmono-system4.0-cil (>= 5.18.0.240)

Mono System libraries (for CLI 4.0)
dep: mono-mcs

Mono C# 2.0 / 3.0 / 4.0 / 5.0 compiler for CLI 2.0 / 4.0 / 4.5
dep: mono-runtime (>= 3.0~)

Mono runtime - default version
dep: z3

theorem prover from Microsoft Research

dafny のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	478.3 kB	1,852.0 kB	[ファイル一覧]