Hacker News new | past | comments | ask | show | jobs | submit | from login

Gobra: Automated, modular verifier for Go, based on Viper verification (github.com/viperproject) 3 points by darccio on Oct 13, 2022 | past Prusti: Static Analyzer for Rust (github.com/viperproject) 285 points by aviramha on Oct 13, 2022 | past | 92 comments Prusti: a static verifier for Rust (github.com/viperproject) 2 points by kunfubar on Oct 6, 2022 | past

Consider applying for YC's Spring batch! Applications are open till Feb 11. Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: