The following pages link to RustBelt (Q5974505):
Displaying 8 items.
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091) (← links)
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems (Q5041100) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- (Q5094146) (← links)
- (Q5155670) (← links)
