maintainability verification