Pakiet: libboogie-cil (2.4.1+dfsg-0.1)
Odnośniki dla libboogie-cil
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego boogie:
Opiekun:
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
|
|
|
|
-
- 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
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 573,2 KiB | 1 918,0 KiB | [lista plików] |