> Maybe you prove your algorithms and call it a day You can do that, or check it with a model checker (which is much easier). Either way, you verify your algor

> Maybe you prove your algorithms and call it a day You can do that, or check it with a model checker (which is much easier). Either way, you verify your algorithm rather than "run" it (although the model checker lets you simulate or "run" a random execution).