RustBelt
From MaRDI portal
Software:5974505
swMATH44211MaRDI QIDQ5974505FDOQ5974505
Author name not available (Why is that?)
Cited In (8)
- Verifying Whiley programs with Boogie
- Title not available (Why is that?)
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
- Title not available (Why is that?)
- 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
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
This page was built for software: RustBelt
