Temporal logics of repeating values

DOI10.1093/LOGCOM/EXR013zbMATH Open1279.68203OpenAlexW2109953964MaRDI QIDQ3165752FDOQ3165752

Authors: Stéphane Demri, Deepak D'Souza, Régis Gascon 

Publication date: 19 October 2012

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d23b84572cd5f97919bae234bb3251ce4ffbe0d7

Recommendations

• A Decidable Temporal Logic of Repeating Values
• Safely Freezing LTL
• Reasoning about data repetitions with counter systems
• Reasoning about data repetitions with counter systems
• LTL with the freeze quantifier and register automata

zbMATH Keywords

temporal logicsfreeze quantifierlogical methods in program verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (9)

• A Decidable Temporal Logic of Repeating Values
• Reasoning about real-time repetitions: Terminating and nonterminating
• Title not available (Why is that?)
• Reasoning about data repetitions with counter systems
• Playing with Repetitions in Data Words Using Energy Games
• Realizability problem for constraint LTL
• Logics of repeating values on data trees and branching counter systems
• Reasoning about data repetitions with counter systems
• Linear-time temporal logic with event freezing functions

This page was built for publication: Temporal logics of repeating values

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