Rust 程式驗證的現況與挑戰

Rust 是一種旨在提供安全性和高性能的系統程式設計語言。本研究提出探討如何有效驗證 Rust 程式,包括確保無定義行為、實現功能正確性等目標。