[ Източник: boogie ]
Пакет: boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)
Връзки за boogie
Ресурси за 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 (compiler)
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 compiler, as well as bvd, the Boogie Verification Debugger.
Други пакети, свързани с boogie
|
|
|
-
- dep: libboogie-cil (= 2.3.0.61016+dfsg+3.gbp1f2d6c1-1)
- verifiable programming language (library)
-
- dep: libmono-corlib4.5-cil (>= 4.2.0)
- Mono core library (for CLI 4.5)
-
- dep: libmono-system-windows-forms4.0-cil (>= 1.0)
- Mono System.Windows.Forms Library (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
-
- sug: libgtk2.0-0
- GTK+ graphical user interface library
Изтегляне на boogie
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 13,6 кБ | 42 кБ | [списък на файловете] |