A platform for high performance statistical model checking - PLASMA

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

Volumn 7214 LNCS, Issue , 2012, Pages 498-503

  Jegourel, Cyrille ^a   Legay, Axel ^a   Sedwards, Sean ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BYTECODES; DYNAMICAL PROPERTIES; EFFICIENT SIMULATION; INCREASED FLEXIBILITY; REAL-WORLD SYSTEM; STATE SPACE; STATISTICAL MODELS; VIRTUAL MACHINES; MEMORY EFFICIENT; STATISTICAL MODEL CHECKING;

ALGORITHMS; MODEL CHECKING; IMPORTANCE SAMPLING; SAMPLING;

PLASMAS; MODEL CHECKING;

EID: 84859299128     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28756-5_37     Document Type: Conference Paper

References (10)

1. Gibson, M., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. of Physical Chemistry A 104, 1876 (2000)
2. Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. ACM Trans. Model. Comput. Simul. 5, 43-85 (1995)
3. The PRISM manual, http://www.prismmodelchecker.org/manual/
4. Pnueli, A., Zuck, L.: Verification of multiprocess probabilistic protocols. Distributed Computing 1, 53-72 (1986)
5. Ridder, A.: Importance sampling simulations of markovian reliability systems using cross-entropy. Annals of Operations Research 134, 119-136 (2005)
6. Sedwards, S.: A Natural Computation Approach To Biology: Modelling Cellular Processes and Populations of Cells With Stochastic Models of P Systems. PhD thesis, University of Trento (2009)
7. Sen, K., Viswanathan, M., Agha, G.A.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: QEST, pp. 251-252. IEEE (2005)
8. Daniel, T., Gillespie: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics 22(4), 403-434 (1976)
9. Vilar, M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. Proceedings of the National Academy of Science 99 (2002)
10. Younes, H.L.S.: Ymer: A Statistical Model Checker. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 429-433. Springer, Heidelberg (2005)