Пакет: libboogie-cil (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)
Ссылки для libboogie-cil
Ресурсы Trisquel:
Исходный код boogie:
- [boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc]
- [boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz]
- [boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz]
Сопровождающий:
Original Maintainer:
- Benjamin Barenblat
Внешние ресурсы:
- Сайт [research.microsoft.com]
Подобные пакеты:
verifiable programming language (library)
Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice.
This package contains the Boogie library.
Другие пакеты, относящиеся к libboogie-cil
|
|
|
-
- dep: libmono-corlib4.5-cil (>= 4.2.0)
- Mono core library (for CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 4.2.0)
- Mono System.Core library (for CLI 4.0)
-
- dep: libmono-system-drawing4.0-cil (>= 3.0.6)
- Mono System.Drawing library (for CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 1.0)
- Mono System.Numerics library (for CLI 4.0)
-
- dep: libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1)
- Mono System.Runtime.Caching Library (for CLI 4.0)
-
- dep: libmono-system-windows-forms4.0-cil (>= 1.0)
- Mono System.Windows.Forms Library (for CLI 4.0)
-
- dep: libmono-system-xml4.0-cil (>= 4.2.0)
- Mono System.Xml library (for CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 4.2.0)
- Mono System libraries (for CLI 4.0)
Загрузка libboogie-cil
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
all | 545,8 Кб | 1706 Кб | [список файлов] |