Single Clause Assumption without Activation Literals to Speed-up IC3

Authors
Publication date
1 October 2021
Publisher
Doi

    Abstract

    272765Austrian Science Fund (FWF)Austrian Science Fund (FWF

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Supporting member

      reposiTUm

      redirect
      oaioai:repositum.tuwien.at:20.500...
      Last time updated on 08/12/2021