Viper is ranked #16 of 33 in formal verification tools on The Geeks Club. It runs on Windows, macOS, Linux.
Compared on formal verification tools
- Free plan
- Yes
- Verification method
- hybrid
- Supported formalisms
- contracts
- Counterexamples
- Yes
- Input languages
- Viper language; Go, Python, and Rust via front-end tools
- Deployment
- self-hosted
