SRI Formal Methods/Extensions