The following pages link to Computer Aided Verification (Q5716565):
Displaying 24 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 accuracy of formal verification of selective defenses for TDoS attacks (Q1683703) (← links)
- Twenty years of rewriting logic (Q1931904) (← 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)
- Statistical Verification of Probabilistic Properties with Unbounded Until (Q2999315) (← links)
- Statistical Model Checking Using Perfect Simulation (Q3648695) (← 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)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
