Oliver Pearce, Julien Lange, Dan O'Keeffe. RustMC : Automated Verification of Real-World Concurrent Rust. In Laura Bocchi, Burcu Kulahcioglu Ozkan, editors, Formal Techniques for Distributed Objects, Components, and Systems - 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. Volume 16589 of Lecture Notes in Computer Science, pages 235-255, Springer, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.