[ Source: why3 ]
Package: why3 (1.8.1-1 and others)
Links for why3
Debian Resources:
Download Source Package why3:
Maintainers:
External Resources:
- Homepage [www.why3.org]
Similar packages:
Programverifikationsplatform
Why3 er en platform for deduktiv programverifikation. Den tilbyder et rigt sprog for specifikation og programmering, kaldt WhyML, og afhænger af eksterne læresætningsbevisere, både automatiserede og interaktive, til at fjerne verifikationsbetingelser. Why3 har et standardbibliotek med logiske teorier (heltal og reel aritmetik, booleske operationer (tabeller, køer, hashtabeller etc.). En bruger kan skrive WhyML-programmer direkte og hente korrekt-efter-konstruktion OCaml-programmer via en automatiseret udtrækningsmekanisme. WhyML bruges også som et mellemliggende sprog for verifikation af C-, Java-, eller Ada-programmer.
Why3 er en fuldstændig ny implementering af den tidligere Why-platform. Blandt de nye funktioner er: utallige udvidelser for inddatasproget, en ny arkitektur for kald af eksterne bevisere, og en veldesignet API, der giver mulighed for at bruge Why3 som et programbibliotek. En vigtig del er lagt på modulopbygning og typeparametrisering, hvilket giver slutbrugeren en mulighed for nemt at genbruge Why3-formaliseringer eller tilføje understøttelse for en ny ekstern beviser hvis ønsket.
Other Packages Related to why3
|
|
|
|
-
- dep: libc6 (>= 2.32) [x32]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.38) [not alpha, ia64, loong64, sh4, x32]
- dep: libc6 (>= 2.41) [loong64, sh4]
-
- dep: libc6.1 (>= 2.37) [ia64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.38) [alpha]
-
- dep: libcairo2 (>= 1.12.0) [x32]
- Cairo 2D - vektorgrafikbibliotek
- dep: libcairo2 (>= 1.2.4) [amd64, arm64, ppc64el, riscv64, s390x]
-
- dep: libcairo2-ocaml-3tam5 [s390x]
- virtual package provided by libcairo2-ocaml
-
- dep: libcairo2-ocaml-awcl2 [not alpha, amd64, arm64, ia64, ppc64el, riscv64, s390x, x32]
- virtual package provided by libcairo2-ocaml
-
- dep: libcairo2-ocaml-eesc3 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libcairo2-ocaml
-
- dep: libcairo2-ocaml-vad17 [ia64]
- virtual package provided by libcairo2-ocaml
-
- dep: libcairo2-ocaml-xxkq1 [alpha]
- virtual package provided by libcairo2-ocaml
-
- dep: libfontconfig1 (>= 2.12.6) [x32]
- bibliotek til konfiguration af generiske skrifttyper - kørselstid
-
- dep: libfreetype6 (>= 2.2.1) [x32]
- FreeType 2-skriftmotor - delte biblioteksfiler
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [amd64, arm64, ppc64el, riscv64, s390x, x32]
- GDK Pixbuf-bibliotek
-
- dep: libglib2.0-0 (>= 2.35.9) [x32]
- GLib-bibliotek for C-rutiner - overgangspakke
-
- dep: libglib2.0-0t64 (>= 2.36.0) [amd64, arm64, ppc64el, riscv64, s390x]
- GLib-bibliotek for C-rutiner
-
- dep: libgmp10 (>= 2:6.3.0+dfsg) [amd64, arm64, ppc64el, riscv64, s390x]
- Bibliotek til multipræcision i aritmetik
-
- dep: libgtk-3-0 (>= 3.9.10) [x32]
- GTK-grafisk brugerfladebibliotek
-
- dep: libgtk-3-0t64 (>= 3.11.5) [amd64, arm64, ppc64el, riscv64, s390x]
- GTK-grafisk brugerfladebibliotek
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4) [amd64, arm64, ppc64el, riscv64, s390x, x32]
- delte bibliotekter for GTK+-kontrollen til fremhævelse af syntaks
-
- dep: liblablgtk3-ocaml-285x5 [alpha]
- virtual package provided by liblablgtk3-ocaml
-
- dep: liblablgtk3-ocaml-4l5z8 [not alpha, amd64, arm64, ia64, ppc64el, riscv64, s390x, x32]
- virtual package provided by liblablgtk3-ocaml
-
- dep: liblablgtk3-ocaml-a7bg7 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by liblablgtk3-ocaml
-
- dep: liblablgtk3-ocaml-qi0e5 [s390x]
- virtual package provided by liblablgtk3-ocaml
-
- dep: liblablgtk3-ocaml-zkf21 [ia64]
- virtual package provided by liblablgtk3-ocaml
-
- dep: liblablgtksourceview3-ocaml-5g7c1 [not alpha, amd64, arm64, ia64, ppc64el, riscv64, s390x, x32]
- virtual package provided by liblablgtksourceview3-ocaml
-
- dep: liblablgtksourceview3-ocaml-b8319 [alpha]
- virtual package provided by liblablgtksourceview3-ocaml
-
- dep: liblablgtksourceview3-ocaml-udvc2 [ia64]
- virtual package provided by liblablgtksourceview3-ocaml
-
- dep: liblablgtksourceview3-ocaml-uj7m5 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by liblablgtksourceview3-ocaml
-
- dep: liblablgtksourceview3-ocaml-wwfo9 [s390x]
- virtual package provided by liblablgtksourceview3-ocaml
-
- dep: libnum-ocaml-3st20 [x32]
- virtual package provided by libnum-ocaml
-
- dep: libnum-ocaml-nw4m9 [ia64]
- virtual package provided by libnum-ocaml
-
- dep: libpango-1.0-0 (>= 1.14.0) [amd64, arm64, ppc64el, riscv64, s390x]
- Layout og optegning af internationaliseret tekst
- dep: libpango-1.0-0 (>= 1.22.0) [x32]
-
- dep: libpangocairo-1.0-0 (>= 1.22.0) [x32]
- Layout og optegning af internationaliseret tekst
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-bdrm4 [alpha]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-m4xw9 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-rg5q2 [ia64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-ye7o9 [not alpha, amd64, arm64, ia64, ppc64el, riscv64, s390x, x32]
- virtual package provided by libstdlib-ocaml
-
- dep: libzarith-ocaml-7dab1 [not alpha, amd64, arm64, ia64, ppc64el, riscv64, s390x, x32]
- virtual package provided by libzarith-ocaml
-
- dep: libzarith-ocaml-ap2s7 [alpha]
- virtual package provided by libzarith-ocaml
-
- dep: libzip-ocaml-3hpl7 [not amd64, arm64, ia64, ppc64el, riscv64, s390x, x32]
- virtual package provided by libzip-ocaml
-
- dep: libzip-ocaml-gm3w1 [ia64]
- virtual package provided by libzip-ocaml
-
- dep: libzip-ocaml-jmg85 [x32]
- Package not available
-
- dep: ocaml-base-4.14.1 [ia64]
- virtual package provided by ocaml-base
-
- dep: ocaml-base-5.3.0 [not amd64, arm64, ia64, ppc64el, riscv64, s390x, x32]
- virtual package provided by ocaml-base
-
- dep: ocaml-base-nox-4.11.1 [x32]
- Package not available
-
- dep: tex-common (>= 6.13)
- Fælles infrastruktur for bygning og installation af TeX
-
- dep: zlib1g (>= 1:1.1.4) [amd64, arm64, ppc64el, riscv64, s390x, x32]
- Komprimeringsbibliotek - kørselstid
-
- rec: cvc4 (<< 1.8) [x32]
- Automatiseret læresætningsbeviser for SMT-problemer
- or why3-coq
- Coq-understøttelse for why3-verifikationsplatformen
- or spass
- Automatiseret læresætningsbeviser for første orden logik med ligestilling
- or z3 (<< 4.8.7)
- Læresætningsbeviser fra Microsoft Research
- or alt-ergo (>= 2.0.0)
- Package not available
-
- sug: why3-examples
- Eksempler for why3-verifikationsplatformen
Download why3
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 1.8.1-1+b1 | 21,361.9 kB | 63,926.0 kB | [list of files] |
| amd64 | 1.8.1-1+b1 | 12,092.9 kB | 43,568.0 kB | [list of files] |
| arm64 | 1.8.1-1+b1 | 13,426.6 kB | 52,363.0 kB | [list of files] |
| armel | 1.8.1-1+b1 | 21,363.5 kB | 63,923.0 kB | [list of files] |
| armhf | 1.8.1-1+b1 | 21,364.0 kB | 63,923.0 kB | [list of files] |
| hppa (unofficial port) | 1.8.1-1+b1 | 21,364.1 kB | 63,823.0 kB | [list of files] |
| i386 | 1.8.1-1+b1 | 21,364.3 kB | 63,838.0 kB | [list of files] |
| ia64 (unofficial port) | 1.6.0-1+b5 | 21,583.5 kB | 86,346.0 kB | [list of files] |
| loong64 (unofficial port) | 1.8.1-1+b1 | 21,367.9 kB | 63,924.0 kB | [list of files] |
| m68k (unofficial port) | 1.8.1-1+b1 | 21,360.3 kB | 63,827.0 kB | [list of files] |
| mips64el | 1.8.1-1+b1 | 21,364.1 kB | 63,929.0 kB | [list of files] |
| ppc64 (unofficial port) | 1.8.1-1+b1 | 21,366.3 kB | 63,925.0 kB | [list of files] |
| ppc64el | 1.8.1-1+b1 | 12,134.8 kB | 47,242.0 kB | [list of files] |
| riscv64 | 1.8.1-1+b1 | 12,220.8 kB | 46,296.0 kB | [list of files] |
| s390x | 1.8.1-1+b1 | 12,165.2 kB | 48,688.0 kB | [list of files] |
| sh4 (unofficial port) | 1.8.1-1+b1 | 21,363.5 kB | 63,922.0 kB | [list of files] |
| sparc64 (unofficial port) | 1.8.1-1+b1 | 21,360.4 kB | 65,846.0 kB | [list of files] |
| x32 (unofficial port) | 1.3.3-3 | 84,958.0 kB | 353,621.0 kB | [list of files] |