Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68028OpenAlexW657718082MaRDI QIDQ5325839FDOQ5325839

Authors: Rashid Mehmood 

Publication date: 24 July 2009

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

Full work available at URL: https://doi.org/10.1007/b98484

Recommendations

• scientific article; zbMATH DE number 2090707
• A symbolic out-of-core solution method for Markov models
• Distributed disk-based algorithms for model checking very large Markov chains
• Tackling large state spaces in performance modelling
• Structured analysis approaches for large Markov chains

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Iterative numerical methods for linear systems (65F10)

Cited In (3)

• Title not available (Why is that?)
• A symbolic out-of-core solution method for Markov models
• Tackling large state spaces in performance modelling

Uses Software

• ITSOL
• SPARSKIT

This page was built for publication: Validation of Stochastic Systems

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