-calculus model checking in Maude

zbMATH Open1272.68201MaRDI QIDQ2849862FDOQ2849862

Authors: Bow-Yaw Wang 

Publication date: 20 September 2013

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

Recommendations

• The Maude LTL model checker
• scientific article; zbMATH DE number 1982209
• Strategies, Model Checking and Branching-Time Properties in Maude
• A rewriting-based model checker for the linear temporal logic of rewriting
• On model checking for the \(\mu\)-calculus and its fragments

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (12)

• Title not available (Why is that?)
• Enriched MU-Calculi Module Checking
• Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking
• Strategies, model checking and branching-time properties in Maude
• The mu-calculus and Model Checking
• Title not available (Why is that?)
• Strategies, Model Checking and Branching-Time Properties in Maude
• Incremental model checking of delta-oriented software product lines
• Proof Search for the First-Order Connection Calculus in Maude
• \textsc{Upp}DMC: a distributed model checker for fragments of the \(\mu\)-calculus
• Proving VLRL action properties with the Maude model checker
• Distributed symbolic model checking for \(\mu\)-calculus

Uses Software

• Maude

This page was built for publication: \(\mu\)-calculus model checking in Maude

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