github.com/viperproject
Top 7.1% on proxy.golang.org
github.com/viperproject/ReusableProtocolVerificationLibrary v0.0.0-20230905164411-65b2e109f4bc
1 version - Latest release: over 2 years ago - 1 dependent repositories - 3 stars on GitHub
Top 5.2% on proxy.golang.org
github.com/viperproject/verified_go_stdlib
Latest release: 3 months ago
Top 6.6% on proxy.golang.org
Latest release: 3 months ago - 137 stars on GitHub
github.com/viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastr...Latest release: 3 months ago - 137 stars on GitHub