TY  - RPRT
AU  - Codescu, Mihai
AU  - Mossakowski, Till
AU  - Riesco Rodríguez, Adrián
AU  - Christian, Maeder
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/48964
AB  - 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...
LA  - spa
KW  - Rewriting logic
KW  - Heterogeneous specifications
KW  - Maude
KW  - Casl
TI  - Integrating Maude into Hets
TY  - technical report
ER  -