The following pages link to Computer Aided Verification (Q5716565):
Displaying 38 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- On the accuracy of formal verification of selective defenses for TDoS attacks (Q1683703) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Statistical model checking (Q2075782) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
- Observer-based sliding mode control for stochastic nonlinear Markovian jump systems (Q2296510) (← links)
- Statistical verification of PCTL using antithetic and stratified samples (Q2335899) (← links)
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (Q2335948) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← 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)
- Model Checking Stochastic Branching Processes (Q2912726) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Statistical verification of dynamical systems using set oriented methods (Q2988933) (← links)
- Statistical Verification of Probabilistic Properties with Unbounded Until (Q2999315) (← links)
- Self-adaptive statistical model checking approach for CPS (Q3132080) (← links)
- Statistical Model Checking Using Perfect Simulation (Q3648695) (← 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)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
- Monte Carlo Methods for Process Algebra (Q5262967) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308388) (← links)
- Computer Aided Verification (Q5312900) (← links)
- Computer Aided Verification (Q5716586) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
- Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373) (← links)
- DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version (Q6599368) (← links)
