viperproject

viperproject

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
1.9k Stars
179 Forks
23 Watchers

Repositories (2)

prusti-dev viperproject/prusti-dev Rust

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

1.8k
silver viperproject/silver Scala

Definition of the Viper intermediate verification language.

100