Journal article icon

Journal article

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 securit...

Expand abstract

Actions


Access Document


Authors


Journal:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume:
6806 LNCS
Pages:
585-591
Publication date:
2011-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:14c9d32a-7c4b-45e8-9112-55bd6fa03536
Source identifiers:
304709
Local pid:
pubs:304709
Language:
English

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP