Software Management and Verification