• Rewriting Modulo SMT and Open System Analysis 

      Rocha, Camilo (2018-11-26)
      Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of ...