Aeneas: Rust Verification by Functional Translation

Lobsters·6 points·sanxiyn·over 4 years ago·arxiv.org

Read the full article at arxiv.org →

#rust #functional #verification #translation #aeneas #rust verification #functional translation #formalmethods

Related stories

Rust fact vs. fiction: 5 Insights from Google's Rust journey in 2022opensource.googleblog.com
Lobsters · 81 points · over 3 years ago
rust-sel4: Rust support for seL4 userspacegithub.com
Lobsters · 13 points · over 2 years ago
rust-glancer: An alternative LSP for Rust with focus on low memory usagerust-glancer.github.io
Lobsters · 25 points · about 1 month ago
Show HN: Fusor – Like Vue, but the logic is Rustfusor.build
Hacker News · 8 points · 3 days ago
Show HN: Canary (YC) – Independent verification for AI coderuncanary.ai
Hacker News · 7 points · 6 days ago
What One Rust Client Can Reach Across Seven Iceberg Catalogsdev.to
DEV Community · 8 points · 5 days ago

Related topics

code368 faster89 python131 performance91 writing69 runtime33 programming300 copilot24 asking15 github86 iceberg13 boundary14