Reversibility of Executable Interval Temporal Logic Specifications

DOI10.1007/978-3-030-79837-6_13OpenAlexW3163821346MaRDI QIDQ5162611

James Hoey, Stefan Kühn, Antonio Cau

Publication date: 3 November 2021

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.03375

zbMATH Keywords

interval temporal logicreversible computingprogram reversiontemporal reflection

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Uses Software

• Isabelle

Cites Work

• Compositional reasoning using intervals and time reversal
• Reversible Imperative Parallel Programs and Debugging
• Logical Reversibility of Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reversibility of Executable Interval Temporal Logic Specifications