Finding extremal models of discrete duration calculus formulae using symbolic search

zbMATH Open1272.68275MaRDI QIDQ2848425FDOQ2848425

Authors: Paritosh K. Pandya 

Publication date: 26 September 2013

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

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

Mathematics Subject Classification ID

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

Cited In (1)

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

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)