• Simulation and Verification of Synchronous Set Relations in Rewriting Logic 

      Rocha, Camilo; Múñoz, César (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 ...