RustBelt
From MaRDI portal
Cited in
(42)- JMLUnit
- Whiley
- Chalice
- Verifying Whiley programs with Boogie
- Abstraction and subsumption in modular verification of C programs
- Toolchain
- Cyclone
- VeriCool
- ModuRes
- Vellvm
- Mezzo
- Line-up
- Theseus
- Verasco
- Pilsner
- Forsythe
- Autosubst
- Alms
- SGX
- Azure
- Panoply
- AstraVer
- VST-Floyd
- Rust
- Bedrock
- Chiron
- Rust2Viper
- Crust
- 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
- Aneris: a mechanised logic for modular reasoning about distributed systems
- RustHorn: CHC-based verification for Rust programs
- \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- AddressSanitizer
- Silq
- SoftBound
- JMLAutoTest
- Whiteoak
- MoSeL
- RHLE Benchmarks
- RustHorn
This page was built for software: RustBelt
