HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Gobra: A Program Verifier for Go
discuss
4 years ago
jcp19
3 points
2.
▲
Prusti: Static Analyzer for Rust
github.com/viperproject
92 comments
4 years ago
aviramha
285 points
3.
▲
Gobra: Automated, modular verifier for Go, based on Viper verification
github.com/viperproject
discuss
4 years ago
im_dario
3 points
4.
▲
Prusti: a static verifier for Rust
github.com/viperproject
discuss
4 years ago
kunfubar
2 points