[1] M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS 4350, Springer (2007).

[2] P.C. Ölveczky: Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude. Springer (2017).

[3]  LOPSTER 2020: Symbolic Computation in Maude: Some Tapas.

[4]  J. Meseguer: Generalized rewrite theories, coherence completion, and symbolic methods. J. Log. Algebraic Methods Program. 110 (2020)..

[5] F. Durán, J. Meseguer, C. Rocha: Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111: 100513 (2020). 

[6] C. Rocha, J. Meseguer, C. Muñoz: Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86(1): 269-297 (2017)

Last modified: Monday, 30 October 2023, 9:02 AM