Ah you're right, I misunderstood. In your simulation you actually already know what the result of the simulation has to be ahead of time and you're just verifyi

Ah you're right, I misunderstood. In your simulation you actually already know what the result of the simulation has to be ahead of time and you're just verifying the system arrives at that end result. That's very different from the type of simulation of citybound where they're actually modeling the behaviour of all the actors, and as long as none of them violate any invariants it doesn't matter what the end result is, any result would be correct. When you said financial simulation I thought you were modeling the behaviours of actors in a market, and how your system would trade against those actors, but what you're doing is more like banking or an exchange?