Safety Assessment and Verification for Nuclear Power Plants