Owner

viperproject

12 indexed repositories · View on GitHub

• gobra

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

  Scala · 189 stars

• silicon

  Symbolic-execution-based verifier for the Viper intermediate verification language.

  Scala · 145 stars

• silver

  Definition of the Viper intermediate verification language.

  Scala · 100 stars

• carbon

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

  Scala · 38 stars

• viperserver

  HTTP server that manages verification requests to different tools from the Viper tool stack.

  Scala · 16 stars

• viper-ide

  This is the main repository for the Viper IDE extension for VS Code.

  TypeScript · 14 stars

• VerifiedSCION

  Verifying the SCION architecture using Gobra

  Go · 12 stars

• gobra-ide

  VSCode Plugin for Gobra

  TypeScript · 11 stars

• vs-verification-toolbox

  Useful component to build VS Code extensions for verifiers.

  TypeScript · 6 stars

• gobra-action

  Github Action to verify Go code with Gobra directly in a CI workflow

  Shell · 2 stars

• gobra-libs

  Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.

  Python · 2 stars

• tutorial

  This repo contains the sources of the official Viper tutorial. Feel free to submit your fixes and additions via pull requests. Please rep...

  JavaScript · 0 stars