On Statistical Model Checking with PLASMA - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

On Statistical Model Checking with PLASMA

Axel Legay
  • Fonction : Auteur
  • PersonId : 861400
Efficient STAtistical methods in SYstems of systems
Sean Sedwards
  • Fonction : Auteur
  • PersonId : 936387
Efficient STAtistical methods in SYstems of systems

Résumé

This paper surveys the main functionalities of the PLASMA statistical model checking platform developed at Inria.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
LegaySedwards2014.pdf (156 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Sean Sedwards  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01088859

Soumis le : vendredi 28 novembre 2014-18:56:13

Dernière modification le : vendredi 24 mars 2023-14:52:59

Archivage à long terme le : vendredi 14 avril 2017-23:19:08

Télécharger pour visualiser

Dates et versions

hal-01088859 , version 1 (28-11-2014)

Identifiants

  • HAL Id : hal-01088859 , version 1

Citer

Axel Legay, Sean Sedwards. On Statistical Model Checking with PLASMA. The 8th International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsha, China. ⟨hal-01088859⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
327 Consultations
277 Téléchargements

Partager

Gmail Facebook X LinkedIn More