Popular repositories Loading

1. foundational_boogie foundational_boogie Public

   Isabelle 5

2. boogie_proofgen boogie_proofgen Public

   Boogie 3

3. inlining_artifact inlining_artifact Public

   Isabelle

4. boogie-1 boogie-1 Public

   Forked from boogie-org/boogie

   Boogie

   C#

5. carbon carbon Public

   Forked from viperproject/carbon

   Verification-condition-generation-based verifier for the Viper intermediate verification language.

   Scala

6. gobra gobra Public

   Forked from viperproject/gobra

   Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

   Scala