Executing Rewriting Logic Specifications in Maude

Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter introduces some ways in which a rewriting logic model of a dynamic system can be analyzed by execution in Maude.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations