PARAM
From MaRDI portal
swMATH9669MaRDI QIDQ21648FDOQ21648
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-14295-6_56
Cited In (32)
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.
- Smoothed model checking for uncertain continuous-time Markov chains
- Multiple verification in complex biological systems: the bone remodelling case study
- Variable probabilistic abstraction refinement
- Sylvan
- Model checking probabilistic systems
- 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
- Sequential convex programming for the efficient verification of parametric MDPs
- PASS
- CEGAR
- COMICS
- GiNaCRA
- STOCKS
- CSP-prover
- BlenX
- DFTCalc
- Rapture
- Prophet
- Storm
- JScience
- PRISM-PSY
- PROPhESY
- Jani
- iscasMc
- ASDeX
- POWER-TRUCTOR
- Exact quantitative probabilistic model checking through rational search
- Title not available (Why is that?)
- FACT
- Modular strategic SMT solving with \textbf{SMT-RAT}
This page was built for software: PARAM
