Balík: boogie (2.4.1+dfsg-0.1)

Odkazy pre boogie

Zdroje Debian:

Stiahnuť zdrojový balík boogie:

Správca:

Benjamin Barenblat (Stránka QA)

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

závisí

odporúča

navrhuje

vylepšuje

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

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	16.2 kB	41.0 kB	[zoznam súborov]