Skip to content
Sections
>> Trisquel >> Paketler >> aramo >> cli-mono >> libboogie-cil
etiona  ] [  nabia  ] [  aramo  ]
[ Kaynak: boogie  ]

Paket: libboogie-cil (2.4.1+dfsg-0.1)

verifiable programming language (library)

Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice.

This package contains the Boogie library.

libboogie-cil ile İlgili Diğer Paketler

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

libboogie-cil indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 573,2 kB1918 kB [dosya listesi]