Listar por tema "Relaciones de conjuntos sincrónicos"
Mostrando ítems 1-3 de 3
-
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 ... -
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
(NASA Langley Research CenterHampton, Virginia., 2011)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 ... -
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 ...