tüm seçenekler
jessie  ] [  sid  ]
[ Kaynak: why  ]

Paket: why (2.34-2)

why için bağlantılar

Screenshot

Debian Kaynakları:

why Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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.

Etiketler: Yazılım Geliştirme: Test ve Kalite Güvencesi, Geliştirildiği dil: OCaml, Rol: Program

why ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

why indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
armel 4.676,1 kB25.001,0 kB [dosya listesi]