Statistical probabilistic model checking with a focus on time-bounded properties
Top Cited Papers
- 1 September 2006
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 204 (9), 1368-1409
- https://doi.org/10.1016/j.ic.2006.05.002
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Model-checking algorithms for continuous-time markov chainsIEEE Transactions on Software Engineering, 2003
- Model-checking large structured Markov chainsThe Journal of Logic and Algebraic Programming, 2003
- Model-checking continuous-time Markov chainsACM Transactions on Computational Logic, 2000
- Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix RepresentationFormal Methods in System Design, 1997
- A theory of timed automataTheoretical Computer Science, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Quantitative temporal reasoningReal-Time Systems, 1992
- A GSMP formalism for discrete event systemsProceedings of the IEEE, 1989
- Computing Poisson probabilitiesCommunications of the ACM, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986