Paquet : dafny (2.3.0+dfsg-0.1)

Liens pour dafny

Ressources Debian :

Télécharger le paquet source dafny :

Responsable :

Benjamin Barenblat (Page QA)

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

dépendances

recommandations

suggestions

enhances

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

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	478,3 ko	1 852,0 ko	[liste des fichiers]