Paket: dafny (2.3.0+dfsg-0.1)

dafny için bağlantılar

Debian Kaynakları:

dafny Kaynak Paketini İndir:

Geliştirici:

Benjamin Barenblat (QA Sayfası)

Dış Kaynaklar:

Ana Sayfa [research.microsoft.com]

Benzer paketler:

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.

dafny ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

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

dafny indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
all	478,3 kB	1.852,0 kB	[dosya listesi]