Balík: boogie (2.4.1+dfsg-0.1)
Odkazy pre boogie
Zdroje Debian:
Stiahnuť zdrojový balík boogie:
Správca:
Externé zdroje:
- Domovská stránka [research.microsoft.com]
Podobné balíky:
overiteľný programovací jazyk - kompilátor
Boogie je medzijazyk kompilátora s podporou automatickej kontroly invariantov pomocou riešiteľa SMT ako je Z3. Podporuje overovanie programov rôznych iných programovacích jazykov vyššej úrovne ako sú Spec\#, C, Dafny, a Chalice.
Tento balík obsahuje kompilátor Boogie a tiež bvd - Boogie Verification Debugger.
Ostatné balíky súvisiace s balíkom boogie
|
|
|
|
-
- dep: libboogie-cil (= 2.4.1+dfsg-0.1)
- verifiable programming language (library)
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- základná knižnica Mono (pre CLI 4.5)
-
- dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)
- knižnica Mono System.Windows.Forms (pre CLI 4.0)
-
- dep: mono-mcs
- kompilátor Mono C# 2.0 / 3.0 / 4.0 / 5.0 pre CLI 2.0 / 4.0 / 4.5
-
- dep: mono-runtime (>= 3.0~)
- dynamické knižnice Mono - štandardná verzia
-
- dep: z3
- theorem prover from Microsoft Research
-
- sug: libgtk2.0-0
- GTK graphical user interface library - old version
Stiahnuť boogie
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 16.2 kB | 41.0 kB | [zoznam súborov] |