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
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
