Distributed symbolic model checking for \(\mu\)-calculus
type: Item
instance of: scholarly article
title: Distributed symbolic model checking for \(\mu\)-calculus
zbMATH Open document ID: 1083.68069
author: Orna Grumberg
author: Tamir Heyman
author: Assaf Schuster
published in: Formal Methods in System Design
publication date: 2006-02-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5007753
zbMATH Keywords: distributed symbolic model checking
zbMATH Keywords: mu-calculus
zbMATH Keywords: hardware verification
describes a project that uses: CESAR
MaRDI profile type: Publication
full work available at URL: s10703-005-1493-1
OpenAlex ID: W2086845443
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Tableau-based model checking in the propositional mu-calculus
cites work: The NX message passing interface
cites work: Q2754071
cites work: A scalable parallel algorithm for reachability analysis of very large circuits
cites work: Results on the propositional \(\mu\)-calculus
cites work: Local model checking in the modal mu-calculus
cites work: A lattice-theoretical fixpoint theorem and its applications
DOI: 10.1007/S10703-005-1493-1
Recommended article: Q4553260
Recommended article: Q4353562
Recommended article: Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking
Recommended article: \(\mu\)-calculus model checking in Maude
Recommended article: Q2771064
Recommended article: The mu-calculus and Model Checking
Recommended article: Testing Distributed Systems Through Symbolic Model Checking
Recommended article: Symbolic model checking for \(\mu\)-calculus requires exponential time
description: scientific article; zbMATH DE number 5007753