[ bullseye ]
[ bookworm ]
[ Paquet source : dafny ]
Paquet : dafny (2.3.0+dfsg-0.1)
Liens pour dafny
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source dafny :
Responsable :
Ressources externes :
- Page d'accueil [research.microsoft.com]
Paquets similaires :
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.
Autres paquets associés à dafny
|
|
|
|
-
- dep: libboogie-cil
- langage de programmation vérifiable–⋅bibliothèque
-
- 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
- compilateur Mono C# 2.0/3.0/4.0 /5.0 pour CLI 2.0/4.0/4.5
-
- dep: mono-runtime (>= 3.0~)
- environnement d'exécution de Mono – version par défaut
-
- dep: z3
- justificateur de théorème de Microsoft Research
Télécharger dafny
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 478,3 ko | 1 852,0 ko | [liste des fichiers] |