Package: dafny (2.3.0+dfsg-0.1)

[ Source: dafny  ]

Programmeringssprog med verifikation af programkorrekthed

Dafny er et programmeringssprog med en programverifikation. Verifikationen behandler funktionsforudsætninger, efterfølgende betingelser og påstande og sender dem til en SMT-løser for kontrol. På denne måde bliver påstandsfejl kompilerfejl frem for fejl på kørselstidspunktet.

Other Packages Related to dafny

• dep: libboogie-cil

  Verificerbart programmeringssprog - bibliotek

• dep: libmono-corlib4.5-cil (>= 5.18.0.240)

  Mono-basisbibliotek - for CLI 4.5

• dep: libmono-system-core4.0-cil (>= 5.18.0.240)

  Mono System.Core-biblioteket (for CLI 4.0)

• dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)

  Mono System.Numerics-bibliotek (for CLI 4.0)

• dep: libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)

  Mono System.Runtime.Serialization-bibliotek (for CLI 4.0)

• dep: libmono-system4.0-cil (>= 5.18.0.240)

  Mono System-biblioteker (for CLI 4.0)

• dep: mono-mcs

  Mono C# 2.0 / 3.0 / 4.0 / 5.0-kompiler for CLI 2.0 / 4.0 / 4.5

• dep: mono-runtime (>= 3.0~)

  Mono kørselstid - standardversion

• dep: z3

  Læresætningsbeviser fra Microsoft Research

Download dafny

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	478.3 kB	1,852.0 kB	[list of files]