111
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Application and Theory of Petri Nets and Concurrency 

      MARCIE – Model Checking and Reachability Analysis Done Efficiently

      other
      , ,
      Springer Berlin Heidelberg

      Read this book at

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

          Related collections

          Most cited references15

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

          Model-checking continuous-time Markov chains

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

            StochKit2: software for discrete stochastic simulation of biochemical systems with events.

            StochKit2 is the first major upgrade of the popular StochKit stochastic simulation software package. StochKit2 provides highly efficient implementations of several variants of Gillespie's stochastic simulation algorithm (SSA), and tau-leaping with automatic step size selection. StochKit2 features include automatic selection of the optimal SSA method based on model properties, event handling, and automatic parallelism on multicore architectures. The underlying structure of the code has been completely updated to provide a flexible framework for extending its functionality. StochKit2 runs on Linux/Unix, Mac OS X and Windows. It is freely available under GPL version 3 and can be downloaded from http://sourceforge.net/projects/stochkit/. petzold@engineering.ucsb.edu.
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              The ins and outs of the probabilistic model checker MRMC

                Bookmark

                Author and book information

                Book Chapter
                2013
                : 389-399
                10.1007/978-3-642-38697-8_21
                49941440-fdb2-4483-9d02-2d5025140b31
                History

                Comments

                Comment on this book

                Book chapters

                Similar content4,060

                Cited by10