Zusammenfassung
This paper gives an overview of the Maude 2.0 system. We emphasize the full generality with which rewriting logic and membership
equational logic are supported, operational semantics issues, the new built-in modules, the more general Full Maude modulealgebra, the new META-LEVEL module, the LTL model checker, and new implementation techniques yielding substantial performance improvements in rewritingmodulo. We also comment on Maude’s formal tool environment and on applications.
Nutzer