> Think about execution time, for example. Sure. A good example. Execution time – more accurately, execution speed – isn't a property of software. For example,

> Think about execution time, for example. Sure. A good example. Execution time – more accurately, execution speed – isn't a property of software. For example, as you point out yourself, you can alter the execution speed without altering the software. It is, indeed, an input. > Even if you had all those inputs, how are you going to pass them in? Well, we know how to pass them in non-deterministically. That's how software is able to do anything. Perhaps one could create a simulated environment that is able to control all the inputs? In fact, I'm told there is a company known as Antithesis working on exactly that.