MRMC

swMATH4129MaRDI QIDQ16314FDOQ16314

Author name not available (Why is that?)

Official website: http://mrmc-tool.org/trac/

Cited In (only showing first 100 items - show all)

• Approximate model checking of stochastic hybrid systems
• Three-valued abstraction for probabilistic systems
• Efficient CSL model checking using stratification
• Multiphase until formulas over Markov reward models: an algebraic approach
• Minimal counterexamples for linear-time probabilistic verification
• Efficient approximation of optimal control for continuous-time Markov games
• Smoothed model checking for uncertain continuous-time Markov chains
• Lumpability for uncertain continuous-time Markov chains
• Cost preserving bisimulations for probabilistic automata
• Formal methods for biochemical signalling pathways
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Formal dependability modeling and analysis: a survey
• Automata-based CSL model checking
• Counterexample generation for discrete-time Markov models: an introductory survey
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• CSL model checking algorithms for QBDs
• Mixing logics and rewards for the component-oriented specification of performance measures
• Hierarchical counterexamples for discrete-time Markov chains
• Formalisms for specifying Markovian population models
• Distributed synthesis in continuous time
• Galileo
• GreatSPN
• SIGREF
• M-TREE
• SMART_
• PASS
• CEGAR
• CADP
• COMICS
• REACH
• SPNP
• ULM
• DiPro
• PARAM
• Casaal
• Ymer
• Pinapa
• MoMo
• SCOOT
• TVT
• ArgoUML
• PEPA
• STOCKS
• DIFtree
• MARCIE
• MC2
• SABRE
• HASL
• Rapture
• Concurrency Workbench
• StochDynTools
• ADABU
• Storm
• Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
• Performability assessment by model checking of Markov reward models
• CARMA
• Figaro
• Mec 5
• DCVALID
• PALOMA
• INFAMY
• VERSA
• Aligator.jl
• JScience
• Markov Models
• mCRL
• PLASMA-lab
• PROPhESY
• Distributed Markovian bisimulation reduction aimed at CSL model checking
• Improving active Mealy machine learning for protocol conformance testing
• iscasMc
• AMT
• ASDeX
• POWER-TRUCTOR
• Model checking for probabilistic timed automata
• Stochastic hybrid systems: a powerful framework for complex, large scale applications
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
• Extended Directed Search for Probabilistic Timed Reachability
• Algorithmic probabilistic game semantics. Playing games with automata
• Coupling and importance sampling for statistical model checking
• Formalisms for Specifying Markovian Population Models
• Time-bounded model checking of infinite-state continuous-time Markov chains
• CCMC: a conditional CSL model checker for continuous-time Markov chains
• Formal reliability analysis of redundancy architectures
• Characterization and computation of infinite-horizon specifications over Markov processes
• Dynamic Bayesian networks for formal verification of structured stochastic processes
• Probabilistic model checking for energy-utility analysis
• A framework for verification of software with time and probabilities
• Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
• LTL model checking of time-inhomogeneous Markov chains
• Towards light-weight probabilistic model checking
• Observing continuous-time MDPs by 1-clock timed automata
• Computing cumulative rewards using fast adaptive uniformization
• Abstraction of Probabilistic Systems
• Quantitative abstractions for collective adaptive systems
• Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains
• Mean-field limits beyond ordinary differential equations
• Model checking mobile stochastic logic
• A Tutorial on Interactive Markov Chains

This page was built for software: MRMC