Incremental formal design verification

  title={Incremental formal design verification},
  author={Gitanjali Swamy and Robert K. Brayton},
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (properties or requirements), which it has to meet. If this check fails, language containment returns a subset of “fair” states involved in behavior that the system exhibits but the specification does not. Current techniques for language containment do not take advantage of the fact that the process of design is… CONTINUE READING