Listar por tema "Reescritura de lógica"
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 ...