Rubio Cuéllar, Rubén RafaelBae, Kyungmin2024-06-172024-06-172022-07-2910.1007/978-3-031-12441-9_4https://hdl.handle.net/20.500.14352/105013In the Maude specification language, the behavior of systems is modeled by nondeterministic rewrite rules, whose free application may not always be desirable. Hence, a strategy language has been introduced to control the application of rules at a high level, without the intricacies of metaprogramming. In this paper, we give an overview of the Maude strategy language, its applications, related verification tools, and extensions, illustrated with examples.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/conference paperopen accessMaudeStrategy languageRewriting logicLenguajes de programación1203.23 Lenguajes de Programación