✦ LIBER ✦

Proving linearizability with temporal logic

✍ Scribed by Simon Bäumler; Gerhard Schellhorn; Bogdan Tofan; Wolfgang Reif

Publisher: Springer
Year: 2009
Tongue: English
Weight: 767 KB
Volume: 23
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-009-0130-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interactive Theorem Proving with Tempora

Interactive Theorem Proving with Temporal Logic

✍ Amy Felty; Laurent Théry 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 721 KB

In this paper, we present a theorem prover for linear temporal logic. Our goal is to extend the capabilities of existing interactive and automatic systems for verifying temporal properties of software and hardware systems. We focus on increasing the effectiveness of user interaction in such systems.

Linear temporal logic with until and nex

Linear temporal logic with until and next, logical consecutions

✍ V. Rybakov 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 373 KB

On regular temporal logics with past

✍ Christian Dax; Felix Klaedtke; Martin Lange 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

Logic inference using formulas with temp

Logic inference using formulas with temporal connectives

✍ S. E. Bogomolov 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 441 KB

Dynamic epistemic logic with branching t

Dynamic epistemic logic with branching temporal structures

✍ Tomohiro Hoshi; Audrey Yap 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 442 KB

Automata for Epistemic Temporal Logic wi

Automata for Epistemic Temporal Logic with Synchronous Communication

✍ Swarup Mohalik; R. Ramanujam 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 396 KB