Model Checking LTLR Formulas under Localized Fairness
From MaRDI portal
Publication:3164834
DOI10.1007/978-3-642-34005-5_6zbMath1367.68180OpenAlexW127533267MaRDI QIDQ3164834
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
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (3)
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude ⋮ Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude ⋮ Model Checking TLR* Guarantee Formulas on Infinite Systems
Uses Software
This page was built for publication: Model Checking LTLR Formulas under Localized Fairness