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

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

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)

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

Describes a project that uses

Uses Software

• IDLVALID
• DCVALID

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)