Пакет: dafny (2.3.0+dfsg-0.1)

Връзки за dafny

Ресурси за Debian:

Изтегляне на пакет-източник dafny.

Отговорник:

Benjamin Barenblat (Страница за QA)

Външни препратки:

Начална страница [research.microsoft.com]

Подобни пакети:

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

зависимости

препоръчани

предложени

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

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	478,3 кБ	1 852,0 кБ	[списък на файловете]