A tableau calculus for first-order branching time logic
From MaRDI portal
Publication:4632314
DOI10.1007/3-540-61313-7_89zbMath1422.03028OpenAlexW1506317664MaRDI QIDQ4632314
Wolfgang May, Peter H. Schmitt
Publication date: 29 April 2019
Published in: Practical Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61313-7_89
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Cites Work
- The temporal logic of branching time
- Modalities for model checking: Branching time logic strikes back
- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- “Sometimes” and “not never” revisited
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A tableau calculus for first-order branching time logic