Browsing 2 - Investigación by Author "70953c4ce36fbd95e2df915d4688e3b1"
Now showing items 1-4 of 4
-
A formal library of set relations and its application to synchronous languages
Rocha, Camilo; Muñoz, César; Dowek, Gilles (Elsevier B.V., 2011)Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and ... -
Rewriting Logic Semantics of a Plan Execution Language
Dowek, Gilles; Muñoz, César; Rocha, Camilo (E.E.U.U., 2010)The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a ... -
Rewriting modulo SMT and open system analysis
Rocha, Camilo; Meseguer, José; Muñoz, César (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
Muñoz, César; Rocha Niño, Hernán Camilo (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 ...