Digitizing interval duration logic.

DOI10.1007/B11831MaRDI QIDQ5900677zbMATH OpenOpenAlexFDO

Authors Gaurav Chakravorty, Paritosh K. Pandya

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11831

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Interval duration logic: expressiveness and decidability
• On Sampling Abstraction of Continuous Time Logic with Durations
• scientific article; zbMATH DE number 2080039
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Cited in

(9)

• Verification of duration systems using an approximation approach
• A survey on temporal logics for specifying and verifying real-time systems
• Interval duration logic: expressiveness and decidability
• Finding extremal models of discrete duration calculus formulae using symbolic search
• scientific article; zbMATH DE number 2080039 (Why is no real title available?)
• Hybrid metric propositional neighborhood logics with interval length binders
• Tools and Algorithms for the Construction and Analysis of Systems
• On Sampling Abstraction of Continuous Time Logic with Durations
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Describes a project that uses

Uses Software

• DCVALID
• IDLVALID

This page was built for publication: Digitizing interval duration logic.

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