TY  - JOUR
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
PY  - 2021
DO  - 10.1007/s10515-021-00307-9
SN  - 0928-8910
SN  - 1573-7535
UR  - https://hdl.handle.net/20.500.14352/91464
T2  - Automated Software Engineering
AB  - Rewriting logic and its implementation Maude are an expressive framework for the formal specification and verification of software and other kinds of systems. Concurrency is naturally represented by nondeterministic local transformations produced by...
LA  - eng
M2  - 1
PB  - Springer
KW  - Rewriting strategies
KW  - Model checking
KW  - Maude
KW  - Formal methods
TI  - Model checking strategy-controlled systems in rewriting logic
TY  - journal article
VL  - 29
ER  -