Search Docker Hub
Community Organization
ETH Zurich
Zurich, CH
https://viper.ethz.ch
Displaying 1 to 2 of 2 repositories
Docker Container for building & testing ViperServer
3m
6.5K
A static verifier for Rust, based on the Viper verification infrastructure.
5y
4.9K
1