Invariant-driven specifications in Maude
From MaRDI portal
Publication:838161
DOI10.1016/j.scico.2009.03.003zbMath1192.68400MaRDI QIDQ838161
Francisco Durán, Manuel Roldán, Antonio Vallecillo
Publication date: 21 August 2009
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2009.03.003
68Q42: Grammars and rewriting systems
Uses Software
Cites Work
- Real-time logics: Complexity and expressiveness
- Maude's module algebra
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Conditional rewriting logic as a unified model of concurrency
- ELAN from a rewriting logic point of view
- Maude: specification and programming in rewriting logic
- Structured theories and institutions
- The B-Book
- Algebraic Methodology and Software Technology
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item