Model-checking large structured Markov chains.
type: Item
instance of: scholarly article
title: Model-checking large structured Markov chains.
zbMATH Open document ID: 1048.68053
DOI: 10.1016/S1567-8326(02)00067-X
author: Peter Buchholz
author: Joost-Pieter Katoen
author: Peter Kemper
author: Carsten Tepper
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1963689
zbMATH Keywords: Markov chains
zbMATH Keywords: Model checking
zbMATH Keywords: Kronecker algebra
zbMATH Keywords: Stochastic bisimulation
zbMATH Keywords: Structured analysis
describes a project that uses: PRISM
describes a project that uses: APNN-Toolbox
MaRDI profile type: Publication
Wikidata QID: Q57802004
cites work: Model-checking continuous-time Markov chains
cites work: Q2754196
cites work: Q2754096
cites work: Q4270055
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Q4002648
cites work: Q4952904
cites work: Structured analysis approaches for large Markov chains
cites work: Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
cites work: Efficient computation and representation of large reachability sets for composed automata
cites work: Q4547772
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
cites work: Integrating synchronization with priority into a Kronecker representation
cites work: Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes
cites work: A logic for reasoning about time and reliability
cites work: Specification techniques for Markov reward models
cites work: Process algebra for performance evaluation
cites work: Q4518904
cites work: Q4798030
cites work: Reachability analysis based on structured representations
cites work: Q4472227
cites work: Q4324960
cites work: Depth-First Search and Linear Graph Algorithms
DBLP publication ID: journals/jlp/BuchholzKKT03
description: scientific article; zbMATH DE number 1963689