A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets

Kaiwen Zhang, Guanjun Liu

Safe Rust guarantees memory safety through strict compile-time constraints: ownership can be transferred, borrowing can temporarily guarantee either shared read-only or exclusive w…