Buscar
Mostrando ítems 1-2 de 2
Tool Interoperability in the Maude Formal Environment
(SpringerBerlín, 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 ...
Proving Safety Properties of Rewrite Theories
(SpringerBerlín, 2011)
Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive ...