5 ms·
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989788/rustmc_paper.pdf
by rando1234 2mo ago
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989788/rustmc_paper.pdf https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...