Pages that link to "Item:Q5898615"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898615):
Displayed 6 items.
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Statistical Verification of Probabilistic Properties with Unbounded Until (Q2999315) (← links)
- Statistical Model Checking Using Perfect Simulation (Q3648695) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)