Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: why3  ]

Paketti: why3-examples (1.5.1-1)

Links for why3-examples

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti why3:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin why3-examples liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi why3-examples

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 3,839.9 kt20,006.0 kt [tiedostoluettelo]