Now showing items 1-2 of 2

    • Rewriting modulo SMT and open system analysis 

      Rocha, Camilo; Meseguer, José; Muñoz, César (Elsevier, 2016)
      This paper proposes rewriting modulo SMT, 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 ...
    • Synchronous set relations in rewriting logic 

      Muñoz, César; Rocha Niño, Hernán Camilo (Elsevier, 2014)
      This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...