Common use of CMC Clause in Contracts

CMC. This is because simulation runs are cloned closer to the (truncating) time limit, incurring computation overhead that may yield no rare event observations. Auto- matic importance functions sensitive to simulation time are an interesting line of research: we addressed this again in the conclusions. On the other hand, our method performs best when operating with large time horizons, such that the rarity of unrelT is only lightly influenced by T 2. 2 This complements standard model checking, where time-bounded properties with large time bounds entail memory problems [25].