Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

PRISM 4.0: Verification of Probabilistic Real-Time Systems

20112,299 citationsBook Chapter

Authors

Marta Kwiatkowska · University of Oxford

Gethin Norman · University of Glasgow

David Parker · University of Oxford

Topics & Keywords

Formal Methods in Verification Safety Systems Engineering in Autonomy Software Reliability and Analysis Research

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-642-22110-1_47

Field-Weighted Citation Impact: 158.25

PRISM 4.0: Verification of Probabilistic Real-Time Systems | Researchclopedia