PRISM 4.0: Verification of Probabilistic Real-time Systems

Abstract : This paper describes a major new release of the PRISM probabilistic model checker, adding, in particular, quantitative verification of (priced) probabilistic timed automata. These model systems exhibiting probabilistic, nondeterministic and real-time characteristics. In many application domains, all three aspects are essential; this includes, for example, embedded controllers in automotive or avionic systems, wireless communication protocols such as Bluetooth or Zigbee, and randomised security protocols. PRISM, which is open-source, also contains several new components that are of independent use. These include: an extensible toolkit for building, verifying and refining abstractions of probabilistic models; an explicit-state probabilistic model checking library; a discrete-event simulation engine for statistical model checking; support for generation of optimal adversaries/strategies; and a benchmark suite.
Type de document :
Communication dans un congrès
G. Gopalakrishnan and S. Qadeer. 23rd International Conference on Computer Aided Verification (CAV'11), 2011, Snowbird, United States. Springer, 6806, pp.585--591, 2011, LNCS
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00648035
Contributeur : Hongyang Qu <>
Soumis le : dimanche 4 décembre 2011 - 22:55:09
Dernière modification le : mardi 6 décembre 2011 - 10:40:23
Document(s) archivé(s) le : dimanche 4 décembre 2016 - 22:59:10

Fichier

cav11.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00648035, version 1

Collections

Citation

Marta Kwiatkowska, Gethin Norman, David Parker. PRISM 4.0: Verification of Probabilistic Real-time Systems. G. Gopalakrishnan and S. Qadeer. 23rd International Conference on Computer Aided Verification (CAV'11), 2011, Snowbird, United States. Springer, 6806, pp.585--591, 2011, LNCS. 〈hal-00648035〉

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

1459