Buscar
Mostrando ítems 1-1 de 1
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
(NASA Langley Research Center, 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 ...