Buscar
Mostrando ítems 1-2 de 2
Rewriting modulo SMT and open system analysis
(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
(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 ...