In this paper, we will describe how verification can be used in key IT processes and workflows, why a mathematical model is required, and how it works, as well as example use cases from the Forward Enterprise platform. This will also clarify what requirements a mathematical model must meet and how to evaluate alternative products.