RustBelt
From MaRDI portal
Cited in
(42)- RustHorn: CHC-based verification for Rust programs
- Verifying Whiley programs with Boogie
- scientific article; zbMATH DE number 7566072 (Why is no real title available?)
- 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
- JMLUnit
- 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
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- RHLE Benchmarks
- Whiley
- Abstraction and subsumption in modular verification of C programs
- Aneris: a mechanised logic for modular reasoning about distributed systems
- JMLAutoTest
- RustHorn
- Whiteoak
- SoftBound
This page was built for software: RustBelt
