Verifying Controls by Output Sink