> Could you publish how you are inspecting an unknown program to determine if it exhibits a specific behavior? There are a lot of computer scientists interested

> Could you publish how you are inspecting an unknown program to determine if it exhibits a specific behavior? There are a lot of computer scientists interested in your solution to the halting problem. This has nothing to do with the halting problem because that is concerned about for all possible programs not some programs. We obviously know if some programs halt. while true: nop Is an infinite loop. X = 1 Y = X + 2 Halts. More complex behaviours can be easier. Neither of my programs there make network calls.