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

Paket: why (2.34-2)

Länkar för why

Screenshot

Debianresurser:

Hämta källkodspaketet why:

Ansvariga:

Externa resurser:

Liknande paket:

Software verification tool

Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.

Märken: Software Development: Testing and QA, Implemented in: OCaml, Role: Program

Andra paket besläktade med why

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

Hämta why

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 4.935,7 kbyte28.133,0 kbyte [filförteckning]
armel 4.676,1 kbyte25.001,0 kbyte [filförteckning]
armhf 4.599,8 kbyte21.632,0 kbyte [filförteckning]
i386 4.775,0 kbyte24.480,0 kbyte [filförteckning]