Model checking CTL*[DC]

DOI10.1007/3-540-45319-9_38MaRDI QIDQ2771065zbMATH OpenFDO

Authors Paritosh K. Pandya

Publication date 14 February 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45319-9_38

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking in dense real-time
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• The Complexity of CTL* + Linear Past
• Quantified computation tree logic
• Verification of Linear Duration Invariants by Model Checking CTL Properties

Cited in

(9)

• Interval duration logic: expressiveness and decidability
• Finding extremal models of discrete duration calculus formulae using symbolic search
• Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
• An algebraic specification for CTL with time constraints
• SDLcheck: A model checking tool
• scientific article; zbMATH DE number 2165695 (Why is no real title available?)
• scientific article; zbMATH DE number 1423228 (Why is no real title available?)
• Formalizing timing diagram requirements in discrete duration calculus
• 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: Model checking CTL*[DC]

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