[ Quellcode: dafny ]
Paket: dafny (1.9.7-1)
Links für dafny
Trisquel-Ressourcen:
Quellcode-Paket dafny herunterladen:
Betreuer:
Original Maintainer:
- Benjamin Barenblat
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: libmono-corlib4.5-cil (>= 4.2.0)
- Mono core library (for CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 4.2.0)
- Mono System.Core library (for CLI 4.0)
-
- dep: libmono-system-drawing4.0-cil (>= 3.0.6)
- Mono System.Drawing library (for CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 1.0)
- Mono System.Numerics library (for CLI 4.0)
-
- dep: libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1)
- Mono System.Runtime.Caching Library (for CLI 4.0)
-
- dep: libmono-system-windows-forms4.0-cil (>= 1.0)
- Mono System.Windows.Forms Library (for CLI 4.0)
-
- dep: libmono-system-xml4.0-cil (>= 4.2.0)
- Mono System.Xml library (for CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 4.2.0)
- 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~)
- Mono runtime - default version
-
- dep: z3
- theorem prover from Microsoft Research
dafny herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 837,6 kB | 2860 kB | [Liste der Dateien] |