Modelling Stochastic Systems
, Pedro R. D'Argenio
: Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.
Model Checking of Stochastic Systems
Representing Large State Spaces
: Serial Disk-based Analysis of Large Stochastic Models.
Deductive Verification of Stochastic Systems
: Analysing Randomized Distributed Algorithms.
: An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.
: The Verification of Probabilistic Lossy Channel Systems.