Segregation Verification Logic