Distributed Markovian bisimulation reduction aimed at CSL model checking

DOI10.1016/J.ENTCS.2008.11.012MaRDI QIDQ5415660zbMATH OpenOpenAlexWikidataFDO

Authors Stefan Blom, B. R. Haverkort, Matthias Kuntz, Jaco van de Pol

Publication date 13 May 2014

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.2008.11.012

zbMATH Keywords

stochastic model checkingMarkovian bisimulationdistributed bisimulation reduction

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• Distributed branching bisimulation reduction of state spaces
• Distributed disk-based algorithms for model checking very large Markov chains
• A distributed algorithm for strong bisimulation reduction of state spaces
• Tools and Algorithms for the Construction and Analysis of Systems

Cites work

• scientific article; zbMATH DE number 2090149 (Why is no real title available?)
• An implementation of an efficient algorithm for bisimulation equivalence
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• CCS expressions, finite state processes, and three problems of equivalence
• Compositional performance modelling with the TIPPtool
• Optimal state-space lumping in Markov chains
• Process algebra for performance evaluation
• Symmetry Reduction for Probabilistic Model Checking
• Three Partition Refinement Algorithms

Cited in

(8)

• Logical characterization of fluid equivalences
• Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• A distributed algorithm for strong bisimulation reduction of state spaces
• Distributed disk-based algorithms for model checking very large Markov chains
• Distributed branching bisimulation reduction of state spaces
• Efficient CTMC Model Checking of Linear Real-Time Objectives
• Distributed coalgebraic partition refinement

Describes a project that uses

Uses Software

• CADP
• MRMC
• PRISM

This page was built for publication: Distributed Markovian bisimulation reduction aimed at CSL model checking

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