Probabilistic symbolic model checking with PRISM: a hybrid approach

This publication has 45 references indexed in Scilit:

• "On-the-fly" solution techniques for stochastic Petri nets and extensions
  IEEE Transactions on Software Engineering, 1998
• Model checking for a probabilistic branching time logic with fairness
  Distributed Computing, 1998
• An efficient disk-based tool for solving very large Markov models
  Published by Springer Nature ,1997
• Temporal logics for the specification of performance and reliability
  Published by Springer Nature ,1997
• Markovian analysis of large finite state machines
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Stochastic Petri net models of polling systems
  IEEE Journal on Selected Areas in Communications, 1990
• Fast randomized consensus using shared memory
  Journal of Algorithms, 1990
• Probabilistic self-stabilization
  Information Processing Letters, 1990
• On the stochastic structure of parallelism and synchronization models for distributed algorithms
  ACM SIGMETRICS Performance Evaluation Review, 1985