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
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01113442
Contributor : Benedikt Bollig <>
Submitted on : Thursday, February 5, 2015 - 2:35:29 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM

Identifiers

  • 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〉

Share

Metrics

Record views

297