Strategies, model checking and branching-time properties in Maude

• Published in: Journal of logical and algebraic methods in programming Vol. 123; p. 100700
• Main Authors: Rubio, Rubén, Martí-Oliet, Narciso, Pita, Isabel, Verdejo, Alberto
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.11.2021
• Subjects: Branching-time properties; Maude; Model checking; Rewriting strategies; Maude; Model checking; Branching-time properties; Rewriting strategies

Rewriting logic and its implementation Maude are a natural and expressive framework for the specification of concurrent systems and logics. Its nondeterministic local transformations are described by rewriting rules, which can be controlled at a higher level using a builtin strategy language added t...