RustBelt
From MaRDI portal
Software:5974505
swMATH44211MaRDI QIDQ5974505FDOQ5974505
Author name not available (Why is that?)
Cited In (8)
- RustHorn: CHC-based verification for Rust programs
- Verifying Whiley programs with Boogie
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Abstraction and subsumption in modular verification of C programs
- Aneris: a mechanised logic for modular reasoning about distributed systems
This page was built for software: RustBelt
