The Temporal Logic of Rewriting: A Gentle Introduction

DOI10.1007/978-3-540-68679-8_22MaRDI QIDQ3507374zbMATH OpenOpenAlexFDO

Authors José Meseguer

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68679-8_22

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A rewriting-based model checker for the linear temporal logic of rewriting
• The Linear Temporal Logic of Rewriting Maude Model Checker
• scientific article; zbMATH DE number 910717
• scientific article; zbMATH DE number 1617312
• Rewrite rules for \(\mathrm{CTL}^\ast\)

Cited in

(22)

• Twenty years of rewriting logic
• Strategies, model checking and branching-time properties in Maude
• Programming and symbolic computation in Maude
• ACTLW -- an action-based computation tree logic with unless operator
• Egalitarian State-Transition Systems
• From linear temporal logic properties to rewrite propositions
• Infinite-state model checking of LTLR formulas using narrowing
• Two Decades of Maude
• Writing out Unifiers in Linear Temporal Logic
• TAGED Approximations for Temporal Properties Model-Checking
• scientific article; zbMATH DE number 1231670 (Why is no real title available?)
• scientific article; zbMATH DE number 1755151 (Why is no real title available?)
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• Compositional specification in rewriting logic
• A rewriting-based model checker for the linear temporal logic of rewriting
• Rewrite rules for \(\mathrm{CTL}^\ast\)
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Comparing three coordination models: Reo, ARC, and PBRD
• A simple rewrite system for the normalization of linear temporal logic
• A Spatial Logic for Simplicial Models
• Analysis of spatio-temporal properties of stochastic systems using TSTL
• Algebraic simulations

Describes a project that uses

Uses Software

• SLMC
• MAGIC
• TLA

This page was built for publication: The Temporal Logic of Rewriting: A Gentle Introduction

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