Using assumptions to distribute alternation free {}-calculus model checking

zbMATH Open1271.68134MaRDI QIDQ2845490FDOQ2845490

Authors Luboš Brim, Jitka Žídková 

Publication date 30 August 2013

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1705169
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• scientific article; zbMATH DE number 1798187
• Distributed symbolic model checking for \(\mu\)-calculus
• scientific article; zbMATH DE number 1059247
• Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
• Using assumptions to distribute CTL model checking
• scientific article; zbMATH DE number 2087626
• The mu-calculus and Model Checking
• \(\mu\)-calculus model checking in Maude

Cites Work

• scientific article; zbMATH DE number 1705169 (Why is no real title available?)
• scientific article; zbMATH DE number 2080197 (Why is no real title available?)
• scientific article; zbMATH DE number 1744967 (Why is no real title available?)
• scientific article; zbMATH DE number 2087626 (Why is no real title available?)
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• Parallelizing the \(\text{Mur}\varphi\) verifier
• Using assumptions to distribute CTL model checking

Cited In (4)

• CTL model checking on a shared-memory architecture
• Using assumptions to distribute CTL model checking
• \textsc{Upp}DMC: a distributed model checker for fragments of the \(\mu\)-calculus
• Distributed symbolic model checking for \(\mu\)-calculus

This page was built for publication: Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking

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