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
Authors
Bibliographic Details
- 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
- Source identifiers:
-
304709
Item Description
- Language:
- English
- Pubs id:
-
pubs:304709
- UUID:
-
uuid:14c9d32a-7c4b-45e8-9112-55bd6fa03536
- Local pid:
- pubs:304709
- Deposit date:
- 2012-12-19
Terms of use
- Copyright date:
- 2011
If you are the owner of this record, you can report an update to it here: Report update to this record