Abstract
This chapter introduces some ways in which a rewriting logic model of a dynamic system can be analyzed by execution in Maude.
This is a preview of subscription content, log in via an institution.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer-Verlag London
About this chapter
Cite this chapter
Ölveczky, P.C. (2017). Executing Rewriting Logic Specifications in Maude. In: Designing Reliable Distributed Systems. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-6687-0_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-6687-0_9
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-6686-3
Online ISBN: 978-1-4471-6687-0
eBook Packages: Computer ScienceComputer Science (R0)