Local distributed model checking of RegCTL

MaRDI QIDQ2842855zbMATH OpenFDO

Authors Tomáš Brázdil, I. Černá

Publication date 16 August 2013

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• Model checking of RegCTL
• On the Model Checking Problem for Some Extension of CTL*
• Extended computation tree logic
• Quantified computation tree logic
• scientific article; zbMATH DE number 2196601

Cited in

(2)

• Model checking of RegCTL
• On the Model Checking Problem for Some Extension of CTL*

This page was built for publication: Local distributed model checking of RegCTL

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