Temporal Logics of Repeating Values

DOI10.1093/logcom/exr013zbMath1279.68203OpenAlexW2109953964MaRDI QIDQ3165752

Régis Gascon, Deepak D'Souza, Stéphane P. Demri

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (4)

Unnamed Item ⋮ Realizability problem for constraint LTL ⋮ Logics of Repeating Values on Data Trees and Branching Counter Systems ⋮ Playing with Repetitions in Data Words Using Energy Games

This page was built for publication: Temporal Logics of Repeating Values