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.
Type de document :
Communication dans un congrès
Giuliano Casale and Lucy Cherkasova and Holger Hermanns. 9th International Conference on Quantitative Evaluation of SysTems, Sep 2012, London, United Kingdom. IEEE CS press, pp.203-204, 2012, 9th International Conference on Quantitative Evaluation of SysTems
Liste complète des métadonnées

https://hal.inria.fr/hal-00740727
Contributeur : Hongyang Qu <>
Soumis le : mercredi 10 octobre 2012 - 17:39:03
Dernière modification le : jeudi 11 octobre 2012 - 16:17:55
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 23:17:41

Fichier

qest12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00740727, version 1

Collections

Citation

Marta Kwiatkowska, Gethin Norman, David Parker. The PRISM Benchmark Suite. Giuliano Casale and Lucy Cherkasova and Holger Hermanns. 9th International Conference on Quantitative Evaluation of SysTems, Sep 2012, London, United Kingdom. IEEE CS press, pp.203-204, 2012, 9th International Conference on Quantitative Evaluation of SysTems. <hal-00740727>

Partager

Métriques

Consultations de
la notice

114

Téléchargements du document

75