Temporal logics of repeating values

DOI10.1093/LOGCOM/EXR013MaRDI QIDQ3165752zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(9)

• Constraint LTL with remote access
• A Decidable Temporal Logic of Repeating Values
• Reasoning about real-time repetitions: Terminating and nonterminating
• scientific article; zbMATH DE number 7136664 (Why is no real title available?)
• Reasoning about data repetitions with counter systems
• Logics of repeating values on data trees and branching counter systems
• Realizability problem for constraint LTL
• 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)