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

MaRDI QIDQ2848151zbMATH OpenFDO

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

Publication date 25 September 2013

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

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)

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

Cited in

(2)

• A Multi-Core Solver for Parity Games
• scientific article; zbMATH DE number 1798187 (Why is no real title available?)

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)