Model checking LTLR formulas under localized fairness

DOI10.1007/978-3-642-34005-5_6MaRDI QIDQ3164834zbMATH OpenOpenAlexFDO

Authors Kyungmin Bae, José Meseguer

Publication date 16 October 2012

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-34005-5_6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Term Rewriting and Applications
• A rewriting-based model checker for the linear temporal logic of rewriting
• The Linear Temporal Logic of Rewriting Maude Model Checker
• Model checking with strong fairness
• scientific article; zbMATH DE number 2117131

Cited in

(8)

• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
• Fairness modulo theory: a new approach to LTL software model checking
• Model checking with fairness assumptions using PAT
• Model checking with strong fairness
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Model checking LTL properties of high-level Petri nets with fairness constraints
• Model checking TLR* guarantee formulas on infinite systems
• Term Rewriting and Applications

Describes a project that uses

Uses Software

• SPIN
• PAT
• Maude

This page was built for publication: Model checking LTLR formulas under localized fairness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3164834)