[ ソース: boogie ]
パッケージ: libboogie-cil (2.4.1+dfsg-0.1)
libboogie-cil に関するリンク
Debian の資源:
boogie ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [research.microsoft.com]
類似のパッケージ:
検証可能プログラミング言語 (ライブラリ)
Boogie は、Z3 などの SMT ソルバを用いた自動不変条件検査をサポートする コンパイラ中間言語です。Spec\#, C, Dafny, Chalice など他の様々な言語用の プログラム検証をサポートします。
本パッケージには Boogie ライブラリが含まれます。
その他の 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-drawing4.0-cil (>= 5.12.0.309)
- Mono System.Drawing 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-caching4.0-cil (>= 5.12.0.309)
- Mono System.Runtime.Caching Library (for CLI 4.0)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- Mono System.Windows.Forms Library (for CLI 4.0)
-
- dep: libmono-system-xml4.0-cil (>= 4.6.1.3)
- Mono System.Xml library (for CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- Mono System libraries (for CLI 4.0)