Blog
About

98
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Steady-state property verification: a comparison study

      , , ,

      Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010) (VECOS)

      Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

      1-2 July 2010

      Model Checking, Probabilistic Verification, Continuous Stochastic Logic (CSL), Perfect Simulation

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Model checking of probabilistic models can be done either by numerical analysis or by simulation and statistical methods. In this paper, we compare the efficiency and the scalability of different model checking approaches when they are applied to the verification of steady-state properties of large models. We provide an experimental comparison study between the statistical model checking using perfect sampling implemented in Ψ 2 [15] and proposed in [11, 10] and the numerical method implemented in PRISM [6], for the verification of CSL [2] steady-state properties. We show that the proposed statistical approach lets us to consider very large models.

          Related collections

          Most cited references 8

          • Record: found
          • Abstract: not found
          • Article: not found

          Model-checking algorithms for continuous-time markov chains

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Exact sampling with coupled Markov chains and applications to statistical mechanics

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Numerical vs. statistical probabilistic model checking

                Bookmark

                Author and article information

                Contributors
                Conference
                July 2010
                July 2010
                : 1-12
                Affiliations
                LACL

                University of Paris-Est Créteil- Val de Marne,

                61 avenue Général de Gaulle 94010, Créteil, France
                LIG

                University of Grenoble, 51, av. Jean Kuntzmann,

                38330 MONTBONNOT, France
                Article
                10.14236/ewic/VECOS2010.12
                © Diana El Rabih et al. Published by BCS Learning and Development Ltd. Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010), Paris, France

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
                VECOS
                4
                Paris, France
                1-2 July 2010
                Electronic Workshops in Computing (eWiC)
                Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article