Talk "The Maude strategy language"

by Narciso Martí-Oliet

Tue, 14 January 2020 at 09:30 am in Massa Marittima, Italy

Joint work with: Isabel Pita, Rubén Rubio, Alberto Verdejo

Abstract: The talk begins by summarizing the Maude strategy language, whose full implementation is already available in Maude 3.0, recently released. Then, it describes recent work towards analyzing strategy-controlled rewriting systems by model checking. First, the LTL Maude model checker has been modified in order to model check a system controlled by strategies with respect to properties formalized in LTL. Second, we are working on a connection with external model checkers which allows us to consider also properties formalized in other logics, such as CTL.