All Git Users → viperproject

4 open source projects by viperproject

[ Open user page on Github ]

A static verifier for Rust, based on the Viper verification infrastructure.

✭ 302

rust verification viper

Definition of the Viper intermediate verification language.

✭ 28

scala TeX verification viper

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

✭ 33

scala java ANTLR

4. axiom-profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

✭ 18

C#TeX javascript HTML SMT powershell

1-4 of 4 user projects