Finding extremal models of discrete duration calculus formulae using symbolic search

MaRDI QIDQ2848425zbMATH OpenFDO

Authors Paritosh K. Pandya

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002471

Mathematics Subject Classification ID

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

Recommendations

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1705170
• Bounded model-checking of discrete duration calculus
• Digitizing interval duration logic.
• Symbolic model checking of timed guarded commands using difference decision diagrams

Cited in

(1)

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Describes a project that uses

Uses Software

• MONA
• DCVALID

This page was built for publication: Finding extremal models of discrete duration calculus formulae using symbolic search

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