Distributed disk-based algorithms for model checking very large Markov chains

DOI10.1007/s10703-006-0007-0zbMath1110.68071OpenAlexW2131837991MaRDI QIDQ2431769

Alexander Bell, Boudewijn R. Haverkort

Publication date: 24 October 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/distributed-diskbased-solution-of-very-large-markov-chains(2e956f97-5212-4459-9104-78a0cee3d827).html

zbMATH Keywords

Markov chainsDistributed algorithmsMatrix-vector productCSL model checkingDisk-based algorithmsState-space generation

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05) Distributed algorithms (68W15)

Related Items (1)

Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors

Uses Software

• MPI/MPICH

Cites Work

• A high-performance, portable implementation of the MPI message passing interface standard
• On the use of MTBDDs for performability analysis and verification of stochastic systems.
• A decomposition approach for stochastic reward net models
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Distributed disk-based algorithms for model checking very large Markov chains