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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Parallelizing the \(\text{Mur}\varphi\) verifier
• Title not available (Why is that?)
• Title not available (Why is that?)
• Using assumptions to distribute CTL model checking
• Title not available (Why is that?)

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)