RustMC: Extending the GenMC stateless model checker to Rust

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pearce, Oliver, Lange, Julien, O'Keeffe, Dan
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items