TY  - RPRT
TI  - RustMC: Extending the GenMC stateless model checker to Rust
AU  - Oliver Pearce
AU  - Julien Lange
AU  - Dan O'Keeffe
PY  - 2025
UR  - https://arxiv.org/abs/2502.06293
ID  - 2502.06293
ER  -