Browsing by Subject "Parte Funcional"
Now showing items 1-1 of 1
-
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 ...