Skip to Main content Skip to Navigation
Conference papers

HASL: An Expressive Language for Statistical Verification of Stochastic Models

Complete list of metadatas

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 4, 2019 - 1:26:02 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. ⟨hal-01113442⟩

Share

Metrics

Record views

419