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