Publication
Integrating Maude into HETS
Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder
In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010), Thirteenth, June 23-25, Manoir St-Castin, Quebec, Canada, LNCS, Springer, 2010.
Abstract
Maude modules can be understood as models that can be formally analyzed
and verified with respect to different properties expressing various
formal requirements.
However, Maude lacks the formal tools to perform some of these analyses
and thus they can only be done by hand.
The Heterogeneous Tool Set Hets is an institution-based
combination of different logics and corresponding rewriting, model
checking and proof tools.
We present in this paper an integration of Maude into Hets that allows
to use the logics and tools already integrated in Hets with
Maude specifications. To achieve such integration we have defined an
institution for Maude based on preordered algebras and a comorphism
between Maude and CASL, the central logic in Hets.