Balík: dafny (2.3.0+dfsg-0.1)
Odkazy pre dafny
Zdroje Trisquel:
Stiahnuť zdrojový balík dafny:
Správca:
Original Maintainer:
- Benjamin Barenblat
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)
- Mono core library (for CLI 4.5)
-
- dep: libmono-system-core4.0-cil (>= 5.18.0.240)
- Mono System.Core library (for CLI 4.0)
-
- dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)
- Mono System.Numerics library (for 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 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
Stiahnuť dafny
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 478.3 kB | 1852 kB | [zoznam súborov] |