[ bullseye ]
[ bookworm ]
[ Zdroj: dafny ]
Balík: dafny (2.3.0+dfsg-0.1)
Odkazy pre dafny
Zdroje Debian:
Stiahnuť zdrojový balík dafny:
Správca:
Externé zdroje:
- Domovská stránka [research.microsoft.com]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom dafny
|
|
|
|
-
- dep: libboogie-cil
- verifiable programming language (library)
-
- dep: libmono-corlib4.5-cil (>= 5.18.0.240)
- základná knižnica Mono (pre CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- knižnica Mono System.Core (pre CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- knižnica Mono System.Numerics (pre CLI 4.0)
-
- dep: libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)
- knižnica Mono System.Runtime.Serialization (pre CLI 4.0)
-
- dep: libmono-system4.0-cil (>= 5.18.0.240)
- knižnice systému Mono (pre CLI 4.0)
-
- dep: mono-mcs
- kompilátor Mono C# 2.0 / 3.0 / 4.0 / 5.0 pre CLI 2.0 / 4.0 / 4.5
-
- dep: mono-runtime (>= 3.0~)
- dynamické knižnice Mono - štandardná verzia
-
- dep: z3
- theorem prover from Microsoft Research
Stiahnuť dafny
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 478.3 kB | 1,852.0 kB | [zoznam súborov] |