Unified temporal logic

DOI10.1016/j.tcs.2021.02.007zbMath1497.68322OpenAlexW3127814638MaRDI QIDQ2661764

Nan Zhang, Zhenhua Duan, Cong Tian

Publication date: 8 April 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2021.02.007

zbMATH Keywords

formal verificationformal specificationlinear temporal logicpropositional projection temporal logic

Mathematics Subject Classification ID

Application models in control theory (93C95) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

A proof system for unified temporal logic

Uses Software

• TLC

Cites Work

• A complete proof system for propositional projection temporal logic
• Hierarchical verification of asynchronous circuits using temporal logic
• Verification of reactive systems using temporal logic with clocks
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Automatic Verification of Sequential Circuits Using Temporal Logic
• “Sometimes” and “not never” revisited
• A propositional modal logic of time intervals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Unified temporal logic