Computer Aided Verification
From MaRDI portal
Publication:5312900
DOI10.1007/b98490zbMath1103.68639OpenAlexW4298302743MaRDI QIDQ5312900
Mahesh Viswanathan, Gul A. Agha, Koushik Sen
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Related Items (21)
Active and sparse methods in smoothed model checking ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Statistically Sound Verification and Optimization for Complex Systems ⋮ Data-driven verification of stochastic linear systems with signal temporal logic constraints ⋮ Data-driven and model-based verification via Bayesian identification and reachability analysis ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Learning deterministic probabilistic automata from a model checking perspective ⋮ Statistical model checking of stochastic component-based systems ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ Intuitive modelling and formal analysis of collective behaviour in foraging ants ⋮ Model-based testing of probabilistic systems ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ Probabilistic verification and approximation ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Probabilistic black-box reachability checking (extended version) ⋮ Evaluating Complex MAC Protocols for Sensor Networks with APMC ⋮ 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 ⋮ Statistical verification of PCTL using antithetic and stratified samples ⋮ Automated and distributed statistical analysis of economic agent-based models
Uses Software
This page was built for publication: Computer Aided Verification
