[ bullseye ]
[ bookworm ]
[ Source: dafny ]
Пакунок: 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.
Інші пакунки пов"язані з dafny
|
|
|
|
-
- dep: libboogie-cil
- verifiable programming language (library)
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- Основна бібліотека Mono (для CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- Бібліотека Mono System.Core (для CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- Бібліотека Mono System.Numerics (для 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 (для 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 — типова версія
-
- dep: z3
- theorem prover from Microsoft Research
Завантажити dafny
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| all | 478.3 kB | 1,852.0 kB | [список файлів] |