I think this is a useful way to model a simulation. Probably a good way to reason about bugs and how a program works. However, I question if you want to try a

I think this is a useful way to model a simulation. Probably a good way to reason about bugs and how a program works. However, I question if you want to try and embrace this on anything that takes on user input. It would be one thing if we had temporal logic based programming models. But I don't know if any program that does.