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