The following pages link to Computer Aided Verification (Q5312900):
Displaying 29 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- Active and sparse methods in smoothed model checking (Q832071) (← links)
- Minimal probabilistic P systems for modelling ecological systems (Q896706) (← links)
- Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)
- Probabilistic black-box reachability checking (extended version) (Q2008284) (← links)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Automated and distributed statistical analysis of economic agent-based models (Q2097979) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
- Statistical verification of PCTL using antithetic and stratified samples (Q2335899) (← links)
- Data-driven and model-based verification via Bayesian identification and reachability analysis (Q2409334) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Statistically Sound Verification and Optimization for Complex Systems (Q3457812) (← links)
- Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking (Q4637909) (← links)
- Statistical Model Checking for Variability-Intensive Systems (Q5039537) (← links)
- Statistical model checking of stochastic component-based systems (Q5106945) (← links)
- Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308388) (← links)
- Computer Aided Verification (Q5716564) (← links)
- Computer Aided Verification (Q5716565) (← links)
- Computer Aided Verification (Q5716586) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)
