A comparative study of stochastic analysis techniques
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Leader election in anonymous radio networks: model checking energy consumption
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
A framework for verification of software with time and probabilities
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
A tool for checking probabilistic properties of COWS services
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Model checking Markov chains using Krylov subspace methods: an experience report
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Time-bounded reachability in tree-structured QBDs by abstraction
Performance Evaluation
Statistical model checking: an overview
RV'10 Proceedings of the First international conference on Runtime verification
Model checking hierarchical probabilistic systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Quantitative automata model checking of autonomous stochastic hybrid systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
Efficient CTMC model checking of linear real-time objectives
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Steady state property verification of very large systems
International Journal of Critical Computer-Based Systems
Model checking algorithms for CTMDPs
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Time for statistical model checking of real-time systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
PRISM 4.0: verification of probabilistic real-time systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Performance model checking scenario-aware dataflow
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Hierarchical counterexamples for discrete-time Markov chains
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Steady-state property verification: a comparison study
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Coupling and importance sampling for statistical model checking
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
xTune: A formal methodology for cross-layer tuning of mobile embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Statistical model checking qos properties of systems with SBIP
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Schedulability of herschel-planck revisited using statistical model checking
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
International Journal of Communication Systems
Specification and quantitative analysis of probabilistic cloud deployment patterns
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Modeling and verification of probabilistic actor systems using prebeca
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
PRISM-games: a model checker for stochastic multi-player games
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Model checking for probabilistic timed automata
Formal Methods in System Design
| Hi-index | 0.00 |
The Markov Reward Model Checker (MRMC) is a software toolfor verifying properties over probabilistic models.It supports PCTL and CSL model checking, and their rewardextensions.Distinguishing features of MRMC are its support for computing time- and reward-bounded reachability probabilities, (property-driven) bisimulation minimization, and precise on-the-fly steady-state detection.Recent tool features include time-bounded reachability analysis for uniform CTMDPs and CSL model checking by discrete-event simulation.This paper presents the tool's current status and its implementation details.