Felalolf

Pinned Repositories

• gobra

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

  Language:Scala114932629

• gobra-ide

  VSCode Plugin for Gobra

  Language:TypeScript95162

• silicon

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

  Language:Scala87664535

• silver

  Definition of the Viper intermediate verification language.

  Language:Scala80956646

• 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