Finding extremal models of discrete duration calculus formulae using symbolic search

zbMATH Open1272.68275MaRDI QIDQ2848425FDOQ2848425

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)

Cited In (1)

• Specification and optimal reactive synthesis of run-time enforcement shields

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)