alla flaggor
jessie  ] [  sid  ]
[ Källkod:  ]

Paket: why (2.36-5 och andra) [debports]

Länkar för why

Screenshot

Debianresurser:

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Liknande paket:

Software verification tool for C and Java

This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL).

Andra paket besläktade med why

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

Hämta why

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
arm64 (inofficiell anpassning) 2.34-2 9.665,0 kbyte48.670,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 2.36-5+b1 3.344,8 kbyte18.981,0 kbyte [filförteckning]