Computer Aided Verification
From MaRDI portal
Publication:5716565
DOI10.1007/b138445zbMath1081.68635OpenAlexW2507913385MaRDI QIDQ5716565
Koushik Sen, Gul A. Agha, Mahesh Viswanathan
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b138445
Related Items (25)
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude ⋮ Data-driven verification of stochastic linear systems with signal temporal logic constraints ⋮ On the accuracy of formal verification of selective defenses for TDoS attacks ⋮ Twenty years of rewriting logic ⋮ Statistical model checking of stochastic component-based systems ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Sampling-Based Verification of CTMCs with Uncertain Rates ⋮ Integrating deployment architectures and resource consumption in timed object-oriented models ⋮ Statistical Verification of Probabilistic Properties with Unbounded Until ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models ⋮ Model-based testing of probabilistic systems ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Translating Stochastic CLS into Maude ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ On simulation-based probabilistic model checking of mixed-analog circuits ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Observer-based sliding mode control for stochastic nonlinear Markovian jump systems ⋮ Statistical Model Checking Using Perfect Simulation ⋮ Statistical verification of PCTL using antithetic and stratified samples ⋮ Read atomic transactions with prevention of lost updates: ROLA and its formal analysis ⋮ Towards light-weight probabilistic model checking ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Monte Carlo Methods for Process Algebra
This page was built for publication: Computer Aided Verification
