Plasma Lab: A Modular Statistical Model Checking Platform - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Plasma Lab: A Modular Statistical Model Checking Platform

Résumé

We present an overview of Plasma Lab, a modular statistical model checking (SMC) platform that facilitates multiple SMC algorithms , multiple modelling and query languages and has multiple modes of use. Plasma Lab may be used as a stand-alone tool with a graphical development environment or invoked from the command line for high performance scripting applications. Plasma Lab is written in Java for maximum cross-platform compatibility, but it may interface with tools and libraries written in arbitrary programming languages. Plasma Lab's API also allows it to be incorporated as a library within other tools. We first describe the motivation and architecture of Plasma Lab, then proceed to describe some of its important algorithms, including those for rare events and nondeterminism. We conclude with a number of industrially-relevant case studies and applications.
Fichier principal
Vignette du fichier
main.pdf (1.66 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01387435 , version 1 (25-10-2016)

Identifiants

Citer

Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA, Oct 2016, Corfou, Greece. pp.77 - 93, ⟨10.1007/978-3-319-47166-2_6⟩. ⟨hal-01387435⟩
308 Consultations
246 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More