On Sampling Abstraction of Continuous Time Logic with Durations

DOI10.1007/978-3-540-71209-1_20MaRDI QIDQ5758111zbMATH OpenOpenAlexFDO

Authors Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya

Publication date 3 September 2007

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71209-1_20

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• All those duration calculi: an integrated approach
• Duration calculus: Logical foundations
• Model-checking discrete duration calculus
• Model-checking dense-time duration calculus
• Digitizing interval duration logic.

Cited in

(5)

• On verification of linear occurrence properties of real-time systems
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• All those duration calculi: an integrated approach
• Tools and Algorithms for the Construction and Analysis of Systems
• Digitizing interval duration logic.

Describes a project that uses

Uses Software

• IDLVALID

This page was built for publication: On Sampling Abstraction of Continuous Time Logic with Durations

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