Plasma Lab Statistical Model Checker: Architecture, Usage and Extension - Chaire Cybersécurité sur l'analyse de la menace Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Plasma Lab Statistical Model Checker: Architecture, Usage and Extension

Résumé

Plasma Lab is a modular statistical model checking (SMC) platform that facilitates multiple SMC algorithms and multiple modelling and query languages. 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. This tutorial first presents an overview of Plasma Lab architecture, modelling languages and algorithms. Then we present the usage of the tool to design models and perform various experiments Finally we propose a tutorial on how to develop a new plugin for Plasma Lab.
Fichier principal
Vignette du fichier
main.pdf (469.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01613581 , version 1 (09-10-2017)

Identifiants

  • HAL Id : hal-01613581 , version 1

Citer

Axel Legay, Louis-Marie Traonouez. Plasma Lab Statistical Model Checker: Architecture, Usage and Extension. SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2017, Limerick, Ireland. ⟨hal-01613581⟩
220 Consultations
127 Téléchargements

Partager

Gmail Facebook X LinkedIn More