Towards model checking stochastic process algebra

DOI10.1007/3-540-40911-4_24MaRDI QIDQ4471933zbMATH OpenFDO

Authors Holger Hermanns, Joachim Meyer-Kayser, Markus Siegle, Joost-Pieter Katoen

Publication date 30 July 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450420.htm, https://ris.utwente.nl/ws/files/6145091/74_ifm2000.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Process algebra and model checking
• Stochastic model checking
• Symbolic model checking for probabilistic processes
• Model Checking Software
• Model Checking Stochastic Branching Processes
• Model checking stochastic automata
• Stochastic model checking of the stochastic quality calculus
• Stochastic process algebra: From an algebraic formalism to an architectural description language
• Model checking of probabilistic and nondeterministic systems

Cited in

(28)

• Construction and verification of performance and reliability models
• First passage time analysis of stochastic process algebra using partial orders
• Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
• Model Checking Stochastic Branching Processes
• An ontological process modelling framework for stochastic systems
• Structural analysis for stochastic process algebra models
• Stochastic process algebras
• Application research of process algebras on performance evaluation
• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
• Tackling continuous state-space explosion in a Markovian process algebra
• Specifications in stochastic process algebra for a robot control problem
• scientific article; zbMATH DE number 1285311 (Why is no real title available?)
• Traffic Modelling and Probabilistic Process Abstraction
• Stochastic process algebra: From an algebraic formalism to an architectural description language
• Reasoning about interactive systems with stochastic models
• Exploiting modal logic to express performance measures
• Compositional performance modelling with the TIPPtool
• Using max-plus algebra for the evaluation of stochastic process algebra prefixes
• scientific article; zbMATH DE number 2090710 (Why is no real title available?)
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• Stochastic model checking of the stochastic quality calculus
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Monte Carlo methods for process algebra
• Model checking stochastic automata
• Rate lifting for stochastic process algebra -- exploiting structural properties
• Action and State Based Computation Tree Measurement Language and Algorithms
• Towards a logic for performance and mobility
• Model checking mobile stochastic logic

This page was built for publication: Towards model checking stochastic process algebra

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