PRISM 4.0: Verification of Probabilistic Real-Time Systems
Top Cited Papers
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Fortuna: Model Checking Priced Probabilistic Timed AutomataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- A game-based abstraction-refinement framework for Markov decision processesFormal Methods in System Design, 2010
- The Ins and Outs of the Probabilistic Model Checker MRMCPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- A Modest Approach to Checking Probabilistic Timed AutomataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Stochastic Games for Verification of Probabilistic Timed AutomataLecture Notes in Computer Science, 2009
- Probabilistic model checking of complex biological pathwaysTheoretical Computer Science, 2008
- Abstraction Refinement for Probabilistic SoftwarePublished by Springer Science and Business Media LLC ,2008
- A formal analysis of bluetooth device discoveryInternational Journal on Software Tools for Technology Transfer, 2006
- Approximate Probabilistic Model CheckingLecture Notes in Computer Science, 2004
- Automatic verification of real-time systems with discrete probability distributionsTheoretical Computer Science, 2002