alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: why3  ]

Paket: why3-examples (1.5.1-1)

Länkar för why3-examples

Screenshot

Debianresurser:

Hämta källkodspaketet why3:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med why3-examples

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta why3-examples

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 3.839,9 kbyte20.006,0 kbyte [filförteckning]