%0 Conference Paper
%A Rubio Cuéllar, Rubén Rafael
%T An overview of the Maude strategy language and its applications
%D 2022
%U https://hdl.handle.net/20.500.14352/105013
%X In 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.
%~