book chapterLecture notes in computer scienceJan 1, 2011Closed access

PRISM 4.0: Verification of Probabilistic Real-Time Systems

MKMarta KwiatkowskaGNGethin NormanDPDavid Parker

University of Oxford · University of Glasgow

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

2,326
total citations
FWCI
158.09
Percentile
100%
References
14
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Computer science
  • Probabilistic logic
  • Nondeterministic algorithm
  • Model checking
  • Statistical model
  • Embedded system
  • Probabilistic CTL
  • Benchmark (surveying)
No related works found for this paper.