»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«
Do any of you know this and use it or are there "better" or even integrated tools for this, if such a thing is needed at all?
Reminder to self: don't use a Go library that has almost 400 open issues and over 100 open PRs on github, no matter how widely used it is. I LOVE debugging race conditions in my code due to a poorly maintained dependency. 🙃
NASA starts building ice-hunting Moon rover (arstechnica.com)
VIPER is NASA’s first rover that needs headlights.