Stochastic Model Checking
From MaRDI portal
Publication:3084591
DOI10.1007/978-3-540-72522-0_6zbMath1323.68379OpenAlexW1516256348MaRDI QIDQ3084591
No author found.
Publication date: 25 March 2011
Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_6
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (47)
Analysis of faults in cyber-physical systems by finite discrete-time Markov chains ⋮ A counter abstraction technique for verifying properties of probabilistic swarm systems ⋮ Deep Statistical Model Checking ⋮ Active and sparse methods in smoothed model checking ⋮ Modeling for Verification ⋮ An efficient algorithm to determine probabilistic bisimulation ⋮ Model Checking of Biological Systems ⋮ On the collective sort problem for distributed tuple spaces ⋮ Precise parameter synthesis for stochastic biochemical systems ⋮ On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets ⋮ Model checking quantum Markov chains ⋮ Efficient trace generation for rare-event analysis in chemical reaction networks ⋮ Chemical reaction network designs for asynchronous logic circuits ⋮ Programming discrete distributions with chemical reaction networks ⋮ Petri-net-based 2D design of DNA walker circuits ⋮ Incremental Verification of Parametric and Reconfigurable Markov Chains ⋮ A formal approach to adaptive software: continuous assurance of non-functional requirements ⋮ Probabilistic verification of Herman's self-stabilisation algorithm ⋮ QMaude: quantitative specification and verification in rewriting logic ⋮ Formal modelling and verification of probabilistic resource bounded agents ⋮ Markov chains and Markov decision processes in Isabelle/HOL ⋮ Abstract model repair for probabilistic systems ⋮ Comparative Analysis of Statistical Model Checking Tools ⋮ Generating counterexamples for quantitative safety specifications in probabilistic B ⋮ Multi-scale verification of distributed synchronisation ⋮ Measuring security in IoT communications ⋮ Model Repair for Probabilistic Systems ⋮ Architecture-based resilience evaluation for self-adaptive systems ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Quantitative verification of Kalman filters ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models ⋮ A Model and Analysis of the AKAP Scaffold ⋮ Probabilistic Model Checking of the PDGF Signaling Pathway ⋮ Probabilistic model checking of complex biological pathways ⋮ A uniformization-based algorithm for continuous-time stochastic games model checking ⋮ DNA walker circuits: computational potential, design, and verification ⋮ Performability assessment by model checking of Markov reward models ⋮ Query-based verification of qualitative trends and oscillations in biochemical systems ⋮ Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey ⋮ Maximizing the probability of attaining a target prior to extinction ⋮ IPL: an integration property language for multi-model cyber-physical systems ⋮ Verifying Team Formation Protocols with Probabilistic Model Checking ⋮ Programming Discrete Distributions with Chemical Reaction Networks ⋮ Performance analysis and functional verification of the stop-and-wait protocol in HOL ⋮ Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control ⋮ Stochastic Model Checking of the Stochastic Quality Calculus ⋮ Computing Cumulative Rewards Using Fast Adaptive Uniformization
Uses Software
This page was built for publication: Stochastic Model Checking