HASL: An Expressive Language for Statistical Verification of Stochastic Models

Paolo Ballarini 1 Hilal Djafri 2, 3 Marie Duflot 1 Serge Haddad 2, 3 Nihal Pekergin 1
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Communication dans un congrès
VALUETOOLS’11, 2011, Cachan, France. Proceedings of VALUETOOLS’11
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01113442
Contributeur : Benedikt Bollig <>
Soumis le : jeudi 5 février 2015 - 14:35:29
Dernière modification le : mercredi 5 décembre 2018 - 11:18:01

Identifiants

  • HAL Id : hal-01113442, version 1

Collections

Citation

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: An Expressive Language for Statistical Verification of Stochastic Models. VALUETOOLS’11, 2011, Cachan, France. Proceedings of VALUETOOLS’11. 〈hal-01113442〉

Partager

Métriques

Consultations de la notice

261