[ Quellcode: dafny ]
Paket: dafny (2.3.0+dfsg-0.1)
Links für dafny
Debian-Ressourcen:
Quellcode-Paket dafny herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [research.microsoft.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu dafny
|
|
|
|
-
- dep: libboogie-cil
- verifiable programming language (library)
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- Mono-Basisbibliothek (für CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- Mono-Bibliothek System.Core (für CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- Mono-Bibliothek System.Numerics (für CLI 4.0)
-
- dep: libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)
- Mono-Bibliothek System.Runtime.Serialization (für CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- Mono-System-Bibliotheken (für CLI 4.0)
-
- dep: mono-mcs
- Mono-C#-Compiler 2.0 / 3.0 / 4.0 / 5.0 für CLI 2.0 / 4.0 / 4.5
-
- dep: mono-runtime (>= 3.0~)
- Mono-Laufzeit - Standardversion
-
- dep: z3
- Theorembeweiser von Microsoft Research
dafny herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 478,3 kB | 1.852,0 kB | [Liste der Dateien] |