TY  - RPRT
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
AU  - Rubio Cuéllar, Rubén Rafael
PY  - 2019
UR  - https://hdl.handle.net/20.500.14352/17476
AB  - Strategies are widespread in Computer Science. In the domain of reduction and rewriting systems, strategies are studied as recipes to restrict and control reduction steps and rule applications, which are intimately local, in a derivation-global sense....
LA  - eng
KW  - Model checking
KW  - strategies
KW  - Maude
KW  - rewriting logic
TI  - Model checking strategy-controlled rewriting systems (extended version)
TY  - technical report
ER  -