PARAM
From MaRDI portal
Cited in
(37)- Smoothed model checking for uncertain continuous-time Markov chains
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
- Multiple verification in complex biological systems: the bone remodelling case study
- Variable probabilistic abstraction refinement
- Model checking probabilistic systems
- Consistency for parametric interval Markov chains
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Model repair for probabilistic systems
- Formal system verification. State-of the-art and future trends
- PRISM
- CASPA
- LiQuor
- MRMC
- ProbDiVinE
- PASS
- CEGAR
- COMICS
- GiNaCRA
- STOCKS
- CSP-prover
- BlenX
- DFTCalc
- Rapture
- Prophet
- Storm
- JScience
- PRISM-PSY
- PROPhESY
- Jani
- iscasMc
- ASDeX
- POWER-TRUCTOR
- Sequential convex programming for the efficient verification of parametric MDPs
- FACT
- Sylvan
- Exact quantitative probabilistic model checking through rational search
- Modular strategic SMT solving with \textbf{SMT-RAT}
This page was built for software: PARAM
