SPBC Verification's Successors