creusot-rs/creusot

#### 產品特色

* 支援 Rust 程式安全驗證
* 透過註解驗證程式不產生 panic 或 overflow
* 將 Rust 代碼轉換為 Why3 的 Coma 介於語言
* 可利用 Why3 的強大功能進行半自動驗證
* 提供完整的導覽與討論平台

#### 主要功能、特點

Creusot 是一個用 Rust 進行動態驗證的工具，確保程式安全且正確。它透過將 Rust 代碼轉換為 Why3 的 Coma 介於語言，讓使用者可以利用 Why3 的強大功能進行半自動驗證。Creusot 透過添加註解，可以進一步驗證程式執行正確。使用者可以透過安裝和使用 Creusot，來驗證 Rust 代碼的安全性和正確性。

#### 指令

“`bash
# 無常用指令（自動生成）
“`