The Importance of Dining and Running Verification: Ensuring Quality and Safety