SRI PVS/Extensions