RustBelt
From MaRDI portal
Software:5974505
No author found.
Related Items (8)
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers ⋮ Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ⋮ RustHorn: CHC-Based Verification for Rust Programs ⋮ Abstraction and subsumption in modular verification of C programs ⋮ Iris from the ground up: A modular foundation for higher-order concurrent separation logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Verifying Whiley programs with Boogie
This page was built for software: RustBelt
