The Linear Temporal Logic of Rewriting Maude Model Checker

DOI10.1007/978-3-642-16310-4_14zbMath1306.68099OpenAlexW1583068981MaRDI QIDQ4933287

Kyungmin Bae, José Meseguer

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_14

zbMATH Keywords

automatamodel checkingrewriting logicMaude

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Temporal logic (03B44)

Related Items (4)

Twenty years of rewriting logic ⋮ Compositional Specification in Rewriting Logic ⋮ Model Checking TLR* Guarantee Formulas on Infinite Systems ⋮ Egalitarian State-Transition Systems

Uses Software

• Maude
• LTL2BA
• MAGIC

This page was built for publication: The Linear Temporal Logic of Rewriting Maude Model Checker