Verifying reactive context