Pakiet: libboogie-cil (2.4.1+dfsg-0.1)

Odnośniki dla libboogie-cil

Zasoby systemu Debian:

Pobieranie pakietu źródłowego boogie:

Opiekun:

Benjamin Barenblat (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [research.microsoft.com]

Podobne pakiety:

Weryfikowalny język programowania (biblioteka)

Boogie jest pośrednim językiem kompilatora z obsługą automatycznego niezmiennego sprawdzania za pomocą solvera SMT, takiego jak Z3. Obsługuje weryfikację programu dla wielu innych języków wyższego poziomu, w tym: Spec\#, C, Dafny i Chalice.

Ten pakiet zawiera bibliotekę Boogie.

Inne pakiety związane z libboogie-cil

wymaga

poleca

sugeruje

enhances

dep: libmono-corlib4.5-cil (>= 5.18.0.240)

Mono core library (for 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)

Pobieranie libboogie-cil

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	573,2 KiB	1 918,0 KiB	[lista plików]