MRMC
From MaRDI portal
Software:16314
No author found.
Related Items (67)
Lumpability for uncertain continuous-time Markov chains ⋮ Coupling and Importance Sampling for Statistical Model Checking ⋮ Performance Model Checking Scenario-Aware Dataflow ⋮ Observing Continuous-Time MDPs by 1-Clock Timed Automata ⋮ Hierarchical Counterexamples for Discrete-Time Markov Chains ⋮ Efficient CSL Model Checking Using Stratification ⋮ Solving systems of bilinear equations for transition rate reconstruction ⋮ Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions ⋮ Precisely deciding CSL formulas through approximate model checking for CTMCs ⋮ Fault trees on a diet: automated reduction by graph rewriting ⋮ A Tutorial on Interactive Markov Chains ⋮ Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes ⋮ Characterization and computation of infinite-horizon specifications over Markov processes ⋮ Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains ⋮ Specification and optimal reactive synthesis of run-time enforcement shields ⋮ Minimal counterexamples for linear-time probabilistic verification ⋮ Multiphase until formulas over Markov reward models: an algebraic approach ⋮ A formal approach to adaptive software: continuous assurance of non-functional requirements ⋮ Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking ⋮ Abstraction of Probabilistic Systems ⋮ Extended Directed Search for Probabilistic Timed Reachability ⋮ Stochastic hybrid systems: a powerful framework for complex, large scale applications ⋮ Approximate model checking of stochastic hybrid systems ⋮ Markov chains and Markov decision processes in Isabelle/HOL ⋮ Formal System Verification ⋮ Three-valued abstraction for probabilistic systems ⋮ Comparative Analysis of Statistical Model Checking Tools ⋮ Model Based Importance Analysis for Minimal Cut Sets ⋮ Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains ⋮ Exact quantitative probabilistic model checking through rational search ⋮ Improving active Mealy machine learning for protocol conformance testing ⋮ Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops ⋮ Efficient CTMC Model Checking of Linear Real-Time Objectives ⋮ Formal reliability analysis of redundancy architectures ⋮ Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications ⋮ Formal Methods for Biochemical Signalling Pathways ⋮ Automata-Based CSL Model Checking ⋮ A Progress Measure for Explicit-State Probabilistic Model-Checkers ⋮ FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS ⋮ Model checking for probabilistic timed automata ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Dynamic Bayesian networks for formal verification of structured stochastic processes ⋮ Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking ⋮ CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains ⋮ Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking ⋮ Probabilistic Model Checking for Energy-Utility Analysis ⋮ Performability assessment by model checking of Markov reward models ⋮ Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey ⋮ A Framework for Verification of Software with Time and Probabilities ⋮ Three-Valued Abstraction for Continuous-Time Markov Chains ⋮ Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking ⋮ Mixing logics and rewards for the component-oriented specification of performance measures ⋮ CSL model checking algorithms for QBDs ⋮ Model checking mobile stochastic logic ⋮ Cost Preserving Bisimulations for Probabilistic Automata ⋮ Distributed Synthesis in Continuous Time ⋮ Formal Dependability Modeling and Analysis: A Survey ⋮ Mean-Field Limits Beyond Ordinary Differential Equations ⋮ Quantitative Abstractions for Collective Adaptive Systems ⋮ Formalisms for Specifying Markovian Population Models ⋮ Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains ⋮ LTL Model Checking of Time-Inhomogeneous Markov Chains ⋮ Moment-based analysis of Bayesian network properties ⋮ Towards light-weight probabilistic model checking ⋮ Computing Cumulative Rewards Using Fast Adaptive Uniformization ⋮ Efficient approximation of optimal control for continuous-time Markov games ⋮ Smoothed model checking for uncertain continuous-time Markov chains
This page was built for software: MRMC