vix.ing · top · new · best · stats · spec

Pearce, Oliver

  1. RustMC: Extending the GenMC stateless model checker to Rust
    2025/02/10 by Oliver Pearce, Julien Lange, Pearce, Oliver +3 · 1 voice
    Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning and Algorithms #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Testing and Debugging Techniques #cs.CR #cs.PL