ListarLCC - Conferencias Científicas por tema "Maude"
Mostrando ítems 1-1 de 1
-
Rewriting Modulo SMT and Open System Analysis
(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 ...