News for hackers. Stuff that matters.
Re:A Science of Concurrent Programs [pdf] by mrkeen on Thursday January 04, 2024 @02:49AM (#38864317)
You could, but this book doesn't, as far as I've skimmed.

It even makes the case as to why not:

> This usually means that there are an enormous number of possible executions, and testing can examine only a tiny fraction of them.

There are no comments on this comment yet.