Rust 並行程式

深度分析

Petri 網引導 LLM 生成並行 Rust 測試：從資源流到可執行驗證

這篇研究提出以 Petri 網作為中間表示（Petri-net-guided methodology），解決大型語言模型在生成並行有狀態 Rust API 測試時常見的語意違規與序列化偏誤問題。