The PRISM Benchmark Suite
Résumé
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.
Domaines
Informatique
Origine : Fichiers produits par l'(les) auteur(s)