Unified temporal logic

DOI10.1016/J.TCS.2021.02.007MaRDI QIDQ2661764zbMATH OpenOpenAlexFDO

Authors 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

linear temporal logicformal verificationformal specificationpropositional projection temporal logic

Mathematics Subject Classification ID

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

Recommendations

• A proof system for unified temporal logic
• A proof system for a unified temporal logic
• Temporal Logics
• scientific article; zbMATH DE number 1749195
• Timed temporal logics
• Unification in linear temporal logic LTL
• Integrated Formal Methods
• Temporal and dynamic logic
• A sound and complete proof system for a unified temporal logic
• scientific article; zbMATH DE number 4119592

Cites work

• scientific article; zbMATH DE number 3862427 (Why is no real title available?)
• scientific article; zbMATH DE number 3473265 (Why is no real title available?)
• scientific article; zbMATH DE number 1304310 (Why is no real title available?)
• scientific article; zbMATH DE number 1487477 (Why is no real title available?)
• scientific article; zbMATH DE number 4119650 (Why is no real title available?)
• A complete proof system for propositional projection temporal logic
• A propositional modal logic of time intervals
• Automatic Verification of Sequential Circuits Using Temporal Logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Hierarchical verification of asynchronous circuits using temporal logic
• Modeling and analysis of nested interrupt systems
• Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs
• Verification of reactive systems using temporal logic with clocks
• “Sometimes” and “not never” revisited

Cited in

(7)

• Unification in linear temporal logic LTL
• Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
• UTP and temporal logic model checking
• A proof system for a unified temporal logic
• scientific article; zbMATH DE number 6261993 (Why is no real title available?)
• A proof system for unified temporal logic
• Writing out Unifiers in Linear Temporal Logic

Describes a project that uses

Uses Software

• TLC

This page was built for publication: Unified temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2661764)