Algorithms for the Efficient Verification and Planning of Information Technology Change Operations

The success of businesses is threatened by changes frequently applied to the IT systems of a company. To prevent outages caused by the application of faulty IT change operations, we introduce efficient algorithms for the verification and planning of IT change operations. The algorithms reduce the runtime complexity of IT change verification and planning from exponential/polynomial to linear or even constant complexity. Thus, making both feasible on large IT infrastructures for the first time.