Buscar
Mostrando ítems 1-3 de 3
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 ...
A formal library of set relations and its application to synchronous languages
(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 ...
Tool Interoperability in the Maude Formal Environment
(Springer, 2011)
We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...