Felalolf

Pinned Repositories

• gobra

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

  Language:Scala107931027

• gobra-ide

  VSCode Plugin for Gobra

  Language:TypeScript85161

• silicon

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

  Language:Scala78664231

• silver

  Definition of the Viper intermediate verification language.

  Language:Scala78956540

• silver-sif-extension

  Extension of the Viper language with modular product programs and information flow specifications

  Language:Scala0400

• voila

  Voila is proof outline checker for fine-grained concurrency verification

  Language:Scala131172

Felalolf's Repositories