Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: why3  ]

Paket: why3-examples (1.7.2-2)

Links für why3-examples

Screenshot

Debian-Ressourcen:

Quellcode-Paket why3 herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Examples for the why3 verification platform

This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.

Andere Pakete mit Bezug zu why3-examples

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

why3-examples herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 3.952,8 kB18.135,0 kB [Liste der Dateien]