[ bullseye ]
[ bookworm ]
[ Source: dafny ]
Package: dafny (2.3.0+dfsg-0.1)
Links for dafny
Debian Resources:
Download Source Package dafny:
Maintainer:
External Resources:
- Homepage [research.microsoft.com]
Similar packages:
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.
Other Packages Related to dafny
|
|
|
|
-
- dep: libboogie-cil
- linguaggio per programmazione verificabile (libreria)
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- libreria principale di Mono (per CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- libreria System.Core di Mono (per CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- libreria System.Numerics di Mono (per CLI 4.0)
-
- dep: libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)
- libreria System.Runtime.Serialization di Mono (per CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- librerie System di Mono (per CLI 4.0)
-
- dep: mono-mcs
- compilatore Mono C# 2.0 / 3.0 / 4.0 / 5.0 per CLI 2.0 / 4.0 / 4.5
-
- dep: mono-runtime (>= 3.0~)
- runtime Mono - versione predefinita
-
- dep: z3
- dimostratore di teoremi di Microsoft Research
Download dafny
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 478.3 kB | 1,852.0 kB | [list of files] |