boogie-org
18 packages
Author Trust
Growing70/100
18
Packages
11.3M
Total DLs
Sort:
18 packages
Boogie
Boogie
An SMT-based program verifier.
1.1M218 versions
Boogie.CodeContractsExtender
Boogie
Package Description
891.3K120 versions
Boogie.BaseTypes
Boogie
Package Description
812.1K120 versions
Boogie.Graph
Boogie
Package Description
811.5K120 versions
Boogie.Core
Boogie
Package Description
802.6K120 versions
Boogie.Model
Boogie
Package Description
769.7K120 versions
Boogie.VCExpr
Boogie
Package Description
766.0K120 versions
Boogie.VCGeneration
Boogie
Package Description
752.7K120 versions
Boogie.Provers.SMTLib
Boogie
Package Description
740.5K120 versions
Boogie.Concurrency
Boogie
Package Description
727.7K120 versions
Boogie.Houdini
Boogie
Package Description
721.6K120 versions
Boogie.ExecutionEngine
Boogie
Contains the API for Boogie
710.4K120 versions
Boogie.AbstractInterpretation
Boogie
Package Description
611.6K64 versions
CocoR
Hanspeter Mössenböck, Markus Löberbauer, Albrecht Wöß
The compiler generator Coco/R
493.4K4 versions
Boogie.Predication
Boogie
Package Description
240.9K68 versions
Boogie.Provers.LeanAuto
Boogie
Package Description
232.6K24 versions
Boogie.AbsInt
Boogie
Package Description
108.9K56 versions
Corral
Corral
A solver for the reachability modulo theories problem.
57.1K23 versions