JavaScript

Is it possible, for example, to build a function where you could essentially prove your app? It seems like we could kind of get there if we had a state machine. And I really hope one day finds its way into the front end JavaScript community just because it's an amazingly powerful thing. So what you were talking about at first gets more into the area of formal methods and formal verification.