scientific article; zbMATH DE number 1705170

MaRDI QIDQ2771065zbMATH OpenFDO

Authors Paritosh K. Pandya

Publication date 14 February 2002

Mathematics Subject Classification ID

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

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

(8)

• Interval duration logic: expressiveness and decidability
• Formalizing timing diagram requirements in discrete duration calculus
• Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
• Finding extremal models of discrete duration calculus formulae using symbolic search
• scientific article; zbMATH DE number 1796147 (Why is no real title available?)
• scientific article; zbMATH DE number 2165695 (Why is no real title available?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• An algebraic specification for CTL with time constraints

Describes a project that uses

Uses Software

• IDLVALID
• DCVALID

This page was built for publication:

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