A Verification-Based Approach to Evaluate Software Architecture Evolution