News for hackers. Stuff that matters.

A comment on What TLA+ can and can't check. Parent comment

Re:What TLA+ can and can't check by anonymousDan on Wednesday September 30, 2026 @06:53PM (#49915532)
For C++ GenMC is probably the state of the art for this: https://plv.mpi-sws.org/genmc/

There's also RustMC for Rust.

[ Parent | on HN ]

There are no comments on this comment yet.