A Database Approach to Distributed State Space Generation

DOI10.1016/j.entcs.2007.10.018zbMath1277.68161OpenAlexW2168939023WikidataQ62047480 ScholiaQ62047480MaRDI QIDQ2866323

No author found.

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.10.018

zbMATH Keywords

\(\mu\)CRLtree compressionstate space partitioningstate collapsing

Mathematics Subject Classification ID

Database theory (68P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Related Items (3)

A Multi-Core Solver for Parity Games ⋮ Symbolic Reachability for Process Algebras with Recursive Data Types ⋮ Distributed Verification of Multi-threaded C++ Programs

Uses Software

• ATERM
• mCRL

Cites Work

• Model checking a cache coherence protocol of a Java DSM implementation
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Database Approach to Distributed State Space Generation