Ballarini, Paolo and Djafri, Hilal and Duflot, Marie and Haddad, Serge and Pekergin, Nihal (2012) HASL: an Expressive Language for Statistical Verification of Stochastic Models. In: 5th International ICST Conference on Performance Evaluation Methodologies and Tools.
![[thumbnail of 16122.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "16122.pdf")
PDF
16122.pdf
Download (328kB)
Abstract
We introduce the Hybrid Automata Stochastic Logic HASL, a new temporal logic formalism for the verification of discrete event stochastic
processes (DESP).
HASL employs Linear Hybrid Automata (LHA) as machineries to
select prefixes of relevant execution paths of a DESP.
The advantage with
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:41 |
| Last Modified: | 18 Apr 2026 01:04 |
| URI: | http://eprints.eai.eu/id/eprint/7745 |
Actions (login required)
- View Item