/
← Accept All   Archive
Amazon ScienceResearch

Developing provably correct Rust code with Verus

August 31

How the Verus "program verifier", which automatically checks code against a mathematical specification of its functionality, helps increase security assurance in software projects.

Languages & runtimes
Read at Amazon Science ↗

Related

More from Amazon Science on Accept All.