[andyferris]

It’s as much a science as mathematical physics, I would suppose? You can make predictions (scaling of an algorithm, correctness of a concurrent algorithm) and test them empirically.

Some people might call pure math a “science”, but this is at the very least applied math (ie more connected to physical reality than pure math).

[mrkeen]

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.