swMATH44211MaRDI QIDQ5974505FDOQ5974505
Author name not available (Why is that?)
Official website: https://plv.mpi-sws.org/rustbelt/
Cited In (41)
- RustHorn: CHC-based verification for Rust programs
- RHLE Benchmarks
- 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
- MoSeL
- Title not available (Why is that?)
- Chalice
- Cyclone
- Toolchain
- VeriCool
- ModuRes
- Vellvm
- Mezzo
- Line-up
- Theseus
- Pilsner
- Verasco
- Forsythe
- Autosubst
- Alms
- SGX
- Azure
- Panoply
- AstraVer
- Bedrock
- Rust
- VST-Floyd
- Chiron
- Crust
- Rust2Viper
- AddressSanitizer
- Silq
- Whiley
- JMLAutoTest
- RustHorn
- Whiteoak
- Abstraction and subsumption in modular verification of C programs
- SoftBound
- Aneris: a mechanised logic for modular reasoning about distributed systems
This page was built for software: RustBelt
