QMaude: quantitative specification and verification in rewriting logic
From MaRDI portal
Publication:6174537
DOI10.1007/978-3-031-27481-7_15zbMath1529.68163WikidataQ123905794 ScholiaQ123905794MaRDI QIDQ6174537
Isabel Pita, Narciso Martí-Oliet, Alberto Verdejo, Rubén Rubio
Publication date: 17 August 2023
Published in: Formal Methods (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A logic for reasoning about time and reliability
- Twenty years of rewriting logic
- Declarative debugging of rewriting logic specifications
- Strategies, model checking and branching-time properties in Maude
- Programming and symbolic computation in Maude
- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
- Stochastic Model Checking
- Model Checking Probabilistic Systems
- Automatic analysis of consistency properties of distributed transaction systems in Maude
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
