\textsc{Upp}DMC: a distributed model checker for fragments of the -calculus

zbMATH Open1272.68257MaRDI QIDQ2848151FDOQ2848151

Martin Leucker, Fredrik Holmén, Marcus Lindström

Publication date: 25 September 2013

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

Recommendations

• scientific article; zbMATH DE number 1798187
• Distributed symbolic model checking for \(\mu\)-calculus
• On model checking for the \(\mu\)-calculus and its fragments
• scientific article; zbMATH DE number 1705169
• \(\mu\)-calculus model checking in Maude
• Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking
• scientific article; zbMATH DE number 2087626

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• A Multi-Core Solver for Parity Games
• Title not available (Why is that?)

This page was built for publication: \textsc{Upp}DMC: a distributed model checker for fragments of the \(\mu\)-calculus

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