[ 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:
linguaggio di programmazione con strumento per verificare la correttezza dei programmi
Dafny รจ un linguaggio di programmazione con uno strumento per verificare i programmi. Lo strumento di verifica elabora asserzioni, precondizioni e postcondizioni delle funzioni e invia tutto a un risolutore SMT per il controllo. In questo modo, i fallimenti delle asserzioni diventano errori del compilatore, invece che errori al momento dell'esecuzione.
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] |