Hacker News new | ask | show | jobs
by rando1234 25 days ago
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...