verus-lang/verus
官方網站
Git 儲存庫#### 產品特色
* 支援 Rust 代碼的靜態驗證
* 透過強大的求解器證明代碼正確性
* 支持 Rust 的子集，未來將擴展
* 可驗證處理原始指標等超越標準類型的代碼
* 提供瀏覽器和開發環境的驗證工具
#### 主要功能、特點
Verus 透過靜態驗證方式，驗證 Rust 代碼的正確性。開發者可以撰寫代碼的規格，並讓 Verus 透過求解器證明代碼在所有可能執行情境下都符合規格。Verus 除了支援 Rust 的子集，還能驗證處理原始指標等超越標準類型的代碼。開發者可以使用 Verus 的瀏覽器工具體驗驗證過程，並在開發環境中使用官方提供的安裝指南進行更深入的開發。
#### 指令
“`bash
# 無常用指令（自動生成）
“`