| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library
Abstract : We present PLASMA-lab, a statistical model checking (SMC) library that provides the functionality to create custom statistical model checkers based on arbitrary discrete event modelling languages. PLASMA-lab is written in Java for maximum cross-platform compatibility and has already been incorporated in various performance-critical software and embedded hardware platforms. Users need only implement a few simple methods in a simulator class to take advantage of our efficient SMC algorithms. PLASMA-lab may be instantiated from the command line or from within other software. We have constructed a graphical user interface (GUI) that exposes the functionality of PLASMA-lab and facilitates its use as a standalone application with multiple 'drop-in' modelling languages. The GUI adds the notion of projects and experiments, and implements a simple, practical means of distributing simulations using remote clients.
Cited literature [3 references]
https://hal.inria.fr/hal-01088411
Contributor : Sean Sedwards <>
Submitted on : Thursday, November 27, 2014 - 8:53:55 PM
Last modification on : Tuesday, March 23, 2021 - 9:54:02 AM
Long-term archiving on: : Monday, March 2, 2015 - 9:31:46 AM
Contributor : Sean Sedwards <>
Submitted on : Thursday, November 27, 2014 - 8:53:55 PM
Last modification on : Tuesday, March 23, 2021 - 9:54:02 AM
Long-term archiving on: : Monday, March 2, 2015 - 9:31:46 AM
File
Boyer-et-al2013.pdf
Files produced by the author(s)