{"articles":[{"slug":"developing-provably-correct-rust-code-with-verus","title":"Developing provably correct Rust code with Verus","subtitle":null,"summary":"Many open-source and industry software projects, including several here at Amazon, are embracing the Rust programming language, since it provides performance and flexibility similar to that of the C programming language, while its clever type system automatically prevents a variety of bugs and security vulnerabilities. The result is fast code that's more correct and secure than average.","content_type":"research","language":"en","canonical_url":"https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus","author":{"name":"Amazon Science","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Amazon Science","url":"https://www.amazon.science/","listing_slug":null,"listing":null},"topics":[{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"}],"about_listings":[],"cover_image_url":"https://cdn.amazon.science/dims4/default/d5f871c/2147483647/strip/true/crop/1200x630+0+23/resize/1200x630!/quality/90/?url=https%3A%2F%2Famzn-science-production-science.s3.us-east-1.amazonaws.com%2Fscience%2F05%2Fce%2Fe48c2a0b4372889838ed019562f3%2Fverus-16x9.gif","license":"all-rights-reserved","word_count":1443,"reading_minutes":6,"published_at":"2026-08-31T12:00:00.000Z","added_at":"2026-09-17T09:08:48.018Z","updated_at":"2026-09-17T09:08:48.018Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/developing-provably-correct-rust-code-with-verus","markdown_url":"https://listedarticles.com/articles/developing-provably-correct-rust-code-with-verus.md","example":false,"citation":"Amazon Science, Amazon Science. \"Developing provably correct Rust code with Verus.\" 31 Aug 2026. https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus"},"snippet":null,"score":null}],"total":1,"count":1,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"research","topic":"rust","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}