The Karma Project SAFU Verification