Statistical model checking of black-box probabilistic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3114, Issue , 2004, Pages 202-215

  Sen, Koushik ^a   Viswanathan, Mahesh ^a   Agha, Gul ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; INTELLIGENT SYSTEMS; MONTE CARLO METHODS; NUMERICAL METHODS; STATISTICS; STOCHASTIC SYSTEMS; TESTING;

CONTINUOUS STOCHASTIC LOGIC; PROBABILISTIC SYSTEMS; QUANTITATIVE MEASURES; STATISTICAL ANALYSIS METHODS; STATISTICAL APPROACH; STATISTICAL EVIDENCE; STATISTICAL HYPOTHESIS TESTING; STATISTICAL MODEL CHECKING;

MODEL CHECKING;

EID: 35048875856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27813-9_16     Document Type: Article

References (16)

1. A. Aziz, K. Sanwal, V. Singhal, and R. K. Brayton. Verifying continuous-time Markov chains. In 8th International Conference on Computer Aided Verification (CAV'96), volume 1102, pages 269-276. Springer, 1996.
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for probabilistic real-time systems (extended abstract). In Proceedings of the 18th International Colloquium on Automata, Languages and Programming (ICALP'91), volume 510 of LNCS, pages 115-126. Springer, 1991.
3. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Model-checking continuous-time Markov chains. ACM Transactions on Computational Logic, 1(1):162-170, 2000.
4. C. Baier, E. M. Clarke, V. Hartonas-Garmhausen, M. Z. Kwiatkowska, and M. Ryan. Symbolic model checking for probabilistic processes. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (ICALP'97), volume 1256 of LNCS, pages 430-440. Springer, 1997.
5. C. Baier, J. P. Katoen, and H. Hermanns. Approximate symbolic model checking of continuous-time markov chains. In International Conference on Concurrency Theory, volume 1664 of LNCS, pages 146-161. Springer, August 1999.
6. A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In Proceedings of 15th Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS'95), volume 1026 of LNCS.
7. T. Herault, R. Lassaigne, F. Magniette, and S. Peyronnet. Approximate Probabilistic Model Checking. In Proceedings of Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of LNCS, pages 73-84. Springer, 2004.
8. H. Hermanns, J. P. Katoen, J. Meyer-Kayser, and M. Siegle. A Markov chain model checker. In Tools and Algorithms for Construction and Analysis of Systems (TACAS'00), pages 347-362, 2000.
9. H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi-terminal binary decision diagrams to represent and analyse continuous-time markov chains. In Proceedings of 3rd International Workshop on the Numerical Solution of Markov Chains (NSMC'99), 1999.
10. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
11. R. V. Hogg and A. T. Craig. Introduction to Mathematical Statistics. Macmillan, New York, NY, USA, fourth edition, 1978.
12. O. C. Ibe and K. S. Trivedi. Stochastic petri net models of polling systems. IEEE Journal on Selected Areas in Communications, 8(9):1649-1657, 1990.
13. M. Z. Kwiatkowska, G. Norman, and D. Parker. Prism: Probabilistic symbolic model checker, 2002.
14. M. Z. Kwiatkowska, G. Norman, R. Segala, and J. Sproston. Verifying quantitative properties of continuous probabilistic timed automata. In International Conference on Concurrency Theory (CONCUR'00), volume 1877 of LNCS, pages 123-137. Springer, 2000.
15. H. L. S. Younes, M. Kwiatkowska, G. Norman, and D. Parker. Numerical vs. statistical probabilistic model checking: An empirical study. In 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04). Springer, 2004.
16. H. L. S. Younes and R. G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In 14th International Conference on Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 223-235. Springer, 2002.