Package: boogie (2.4.1+dfsg-0.1)

[ Source: boogie  ]

Verificerbart programeringssprog - kompiler

Boogie er et kompiler mellemliggende sprog med understøttelse for automatisk invariant kontrol via en SMT-løser såsom Z3. Kompileren understøtter programverifikation for en række andre sprog på højt niveau, inklusive Spec\#, C, Dafny og Chalice.

Denne pakke indeholder kompileren Boogie, samt bvd, Boogie Verification Debugger.

Other Packages Related to boogie

• dep: libboogie-cil (= 2.4.1+dfsg-0.1)

  Verificerbart programmeringssprog - bibliotek

• dep: libmono-corlib4.5-cil (>= 5.18.0.240)

  Mono-basisbibliotek - for CLI 4.5

• dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)

  Mono System.Windows.Forms-bibliotek (for CLI 4.0)

• dep: mono-mcs

  Mono C# 2.0 / 3.0 / 4.0 / 5.0-kompiler for CLI 2.0 / 4.0 / 4.5

• dep: mono-runtime (>= 3.0~)

  Mono kørselstid - standardversion

• dep: z3

  Læresætningsbeviser fra Microsoft Research

• sug: libgtk2.0-0

  Grafisk brugergrænsefladebibliotek til GTK - ældre version

Download boogie

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	16.2 kB	41.0 kB	[list of files]