RustMC : Automated Verification of Real-World Concurrent Rust
- 11 June 2026
- book chapter
- Published by Springer Nature
- p. 235-255
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Understanding and Detecting Real-World Safety Issues in RustIEEE Transactions on Software Engineering, 2024
- Detecting Cross-language Memory Management Issues in Rust2022
- GenMC: A Model Checker for Weak Memory Models2021
- Taming undefined behavior in LLVMACM SIGPLAN Notices, 2017
- A Practical Approach for Model Checking C/C++11 CodeACM Transactions on Programming Languages and Systems, 2016
- Crust: A Bounded Verifier for Rust (N)2015
- Stateless Model Checking for TSO and PSO2015
- Optimal dynamic partial order reduction2014
- A randomized scheduler with probabilistic guarantees of finding bugs2010
- Dynamic partial-order reduction for model checking software2005