search

viperproject / gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
https://gobra.ethz.ch
Other
111 stars 28 forks source link

Update Submodules #764

Closed viper-admin closed 5 months ago

viper-admin commented 5 months ago