Plasma Lab: A Modular Statistical Model Checking Platform

Axel Legay 1 Sean Sedwards 1 Louis-Marie Traonouez 1
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Communication dans un congrès
ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.77 - 93, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈10.1007/978-3-319-47166-2_6〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01387435
Contributeur : Louis-Marie Traonouez <>
Soumis le : mardi 25 octobre 2016 - 15:28:40
Dernière modification le : vendredi 16 novembre 2018 - 01:39:28

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.77 - 93, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈10.1007/978-3-319-47166-2_6〉. 〈hal-01387435〉

Partager

Métriques

Consultations de la notice

530

Téléchargements de fichiers

138