Question(s)

[Barry]

> On 24 Oct 2023, at 18:25, o1bigtenor via Python-list <python-list at python.org> wrote:
> 
> Is there a way to verify that a program is going to do what it is
> supposed to do

In the general case not proven to be not possible.
Have a read about the halting problem https://en.wikipedia.org/wiki/Halting_problem

It is common to simulate hardware that does not exist yet and run software in the simulated environment.

Barry