[ Pakiet źródłowy: dafny ]
Pakiet: dafny (2.3.0+dfsg-0.1)
Odnośniki dla dafny
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 dafny:
Opiekun:
Zasoby zewnętrzne:
- Strona internetowa [research.microsoft.com]
Podobne pakiety:
programming language with program correctness verifier
Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones.
Inne pakiety związane z dafny
|
|
|
|
-
- dep: libboogie-cil
- Weryfikowalny język programowania (biblioteka)
-
- 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-numerics4.0-cil (>= 5.16.0.220)
- Mono System.Numerics library (for CLI 4.0)
-
- dep: libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)
- Mono System.Runtime.Serialization Library (for CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- Mono System libraries (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~)
- Środowisko uruchomieniowe Mono - wersja domyślna
-
- dep: z3
- Narzędzie do udowadniania twierdzeń firmy Microsoft Research
Pobieranie dafny
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 478,3 KiB | 1 852,0 KiB | [lista plików] |