Model checker
De model checker controleert bij een upgrade van een nieuwe release of er eventuele conflicten bestaan tussen de modellen van de nieuwe release en de reeds aanwezige modellen.
De model checker controleert bij een upgrade van een nieuwe release of er eventuele conflicten bestaan tussen de modellen van de nieuwe release en de reeds aanwezige modellen.