The PRISM Benchmark Suite - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

The PRISM Benchmark Suite

Abstract

We present the PRISM benchmark suite: a collection of probabilistic models and property specifications, designed to facilitate testing, benchmarking and comparisons of probabilistic verification tools and implementations.

Domains

Computer science
Fichier principal
Vignette du fichier
qest12.pdf (88.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Hongyang Qu  : Connect in order to contact the contributor

https://inria.hal.science/hal-00740727

Submitted on : Wednesday, October 10, 2012-5:39:03 PM

Last modification on : Wednesday, March 20, 2024-3:48:03 PM

Long-term archiving on: Friday, December 16, 2016-11:17:41 PM

Download

Dates and versions

hal-00740727 , version 1 (10-10-2012)

Identifiers

  • HAL Id : hal-00740727 , version 1

Cite

Marta Kwiatkowska, Gethin Norman, David Parker. The PRISM Benchmark Suite. 9th International Conference on Quantitative Evaluation of SysTems, Sep 2012, London, United Kingdom. pp.203-204. ⟨hal-00740727⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CONNECT
71 View
350 Download

Share

Gmail Facebook X LinkedIn More