A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
arXiv:2604.02399v1 Announce Type: cross
Abstract: Safe Rust guarantees memory safety through strict compile-time constraints: ownership can be transferred, borrowing can temporarily guarantee either shared read-only or exclusive write access, and owne…