Now showing items 1-1 of 1

    • A New Abstraction Framework for Affine Transformers 

      Reps, Thomas; Sharma, Tushar (2017-05-16)
      Abstract. This paper addresses the problem of abstracting a set of affine transformers v' = v C + d, where v and v' represent the pre-state and post-state, respectively. We introduce a framework to harness any base abstract ...