EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)

DOI10.1007/978-3-319-60225-7_17zbMath1489.68142arXiv1704.05320OpenAlexW2617715574MaRDI QIDQ5082199

Arnd Poetzsch-Heffter, Mathias Weber, Annette Bieniusa

Publication date: 15 June 2022

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• HOL
• Unnamed Item

This page was built for publication: EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)