Cited in
(42)- RHLE Benchmarks
- Abstraction and subsumption in modular verification of C programs
- Iris from the ground up: a modular foundation for higher-order concurrent separation logic
- scientific article; zbMATH DE number 7566072 (Why is no real title available?)
- 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
- RustHorn: CHC-based verification for Rust programs
- AddressSanitizer
- Silq
- Concise read-only specifications for better synthesis of programs with pointers
- Verifying Whiley programs with Boogie
- Whiley
- JMLAutoTest
- RustHorn
- Whiteoak
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- SoftBound
- Aneris: a mechanised logic for modular reasoning about distributed systems
This page was built for software: RustBelt
