Probabilistic symbolic model checking with PRISM: a hybrid approach
- 6 April 2004
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 6 (2), 128-142
- https://doi.org/10.1007/s10009-004-0140-2
Abstract
No abstract availableThis publication has 45 references indexed in Scilit:
- "On-the-fly" solution techniques for stochastic Petri nets and extensionsIEEE Transactions on Software Engineering, 1998
- Model checking for a probabilistic branching time logic with fairnessDistributed Computing, 1998
- An efficient disk-based tool for solving very large Markov modelsPublished by Springer Science and Business Media LLC ,1997
- Temporal logics for the specification of performance and reliabilityPublished by Springer Science and Business Media LLC ,1997
- Markovian analysis of large finite state machinesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Stochastic Petri net models of polling systemsIEEE Journal on Selected Areas in Communications, 1990
- Fast randomized consensus using shared memoryJournal of Algorithms, 1990
- Probabilistic self-stabilizationInformation Processing Letters, 1990
- On the stochastic structure of parallelism and synchronization models for distributed algorithmsACM SIGMETRICS Performance Evaluation Review, 1985