Skip to Main content Skip to Navigation
Conference papers

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 
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 LSV - Laboratoire Spécification et Vérification [Cachan]
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01113442
Contributor : Benedikt Bollig Connect in order to contact the contributor
Submitted on : Thursday, February 5, 2015 - 2:35:29 PM
Last modification on : Saturday, June 25, 2022 - 9:09:23 PM

Identifiers

  • HAL Id : hal-01113442, version 1

Collections

UPEC-UPEM | CNRS | INRIA | ENS-CACHAN | LACL | UPEC | INRIA2 | ENS-PARIS-SACLAY

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. ⟨hal-01113442⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

293

Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/