TY  - CPAPER
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
A2  - Chechik, Marsha 
A2  - Katoen, Joost-Pieter 
A2  - Leucker, Martin 
PY  - 2023
DO  - 10.1007/978-3-031-27481-7_15
SN  - 978-3-031-27480-0
SN  - 978-3-031-27481-7
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/101033
AB  - In formal verification, qualitative and quantitative aspects are both relevant, and high-level formalisms are convenient to naturally specify the systems under study and their properties. In this paper, we present a framework for describing...
LA  - eng
M2  - 240
KW  - Rewriting logic
KW  - Probabilistic model checking
KW  - Statistical model checking
KW  - Maude
TI  - QMaude: Quantitative Specification and Verification in Rewriting Logic
TY  - conference paper
ER  -