Question(s)
Barry
barry at barrys-emacs.org
Tue Oct 24 18:11:14 EDT 2023
> 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
More information about the Python-list
mailing list