gauravpartha

Pinned Repositories

boogie
Boogie
Language:Boogie508 30 271112
boogie-1
Boogie
Language:C#0 0 00
boogie_proofgen
Language:Boogie3 1 20
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Language:Scala0 0 00
foundational_boogie
Language:Isabelle5 1 00
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Language:Scala0 0 00
inlining_artifact
Language:Isabelle0 2 00
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Language:Scala29 6 41020
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
Language:Scala79 6 64332
silver
Definition of the Viper intermediate verification language.
Language:Scala78 9 56541

gauravpartha's Repositories

gauravpartha/foundational_boogie
Language:Isabelle5 1 00
gauravpartha/boogie_proofgen
Language:Boogie3 1 20
gauravpartha/boogie-1
Boogie
Language:C#0 0 00
gauravpartha/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Language:Scala0 0 00
gauravpartha/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Language:Scala0 0 00
gauravpartha/inlining_artifact
Language:Isabelle0 2 00