@inproceedings{CodescuEtAl10,
  abstract = {Maude modules can be understood as models that can be
formally analyzed and verified 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 specifications. To achieve such integration we have dened
an institution for Maude based on preordered algebras and a comorphism
between Maude and CASL, the central logic in Hets.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Codescu, Mihai and Mossakowski, Till and Riesco, Adr{\'i}an and Maeder, Christian},
  biburl = {https://www.bibsonomy.org/bibtex/2fbde3270cb40c62bc7def838d60ab99b/tillmo},
  booktitle = {AMAST 2010},
  editor = {Johnson, Mike and Pavlovic, Dusko},
  interhash = {bb468717a138723d109227ce0baafbb4},
  intrahash = {fbde3270cb40c62bc7def838d60ab99b},
  keywords = {CASL Hets Maude comorphism institution refinement},
  pages = {60-75},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/Maude-Hets.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Integrating Maude into Hets},
  url = {http://www.springerlink.com/content/978-3-642-17795-8#section=842927},
  volume = 6486,
  year = 2010
}