PROPhESY
From MaRDI portal
Cited in
(39)- MCGP
- PAYNT
- Sylvan
- PRISM
- MRMC
- PASS
- Abstract model repair for probabilistic systems
- Synthesizing optimal bias in randomized self-stabilization
- Out of control: reducing probabilistic models by control-state elimination
- PARAM
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Exact quantitative probabilistic model checking through rational search
- STOCKS
- Quantitative static analysis of communication protocols using abstract Markov chains
- Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
- DFTCalc
- CArL
- Rapture
- Smoothed model checking for uncertain continuous-time Markov chains
- The complexity of reachability in parametric Markov decision processes
- Storm
- Prophet
- SReach
- Sequential convex programming for the efficient verification of parametric MDPs
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- Probabilistic programming: a true verification challenge
- JScience
- SamIam
- PRISM-PSY
- Formal system verification. State-of the-art and future trends
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
- Jani
- iscasMc
- POWER-TRUCTOR
- ASDeX
- AMT
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains
- FACT
This page was built for software: PROPhESY
