Fluid Model Checking

DOI10.1007/978-3-642-32940-1_24zbMath1364.68259arXiv1203.0920OpenAlexW1604167937MaRDI QIDQ2912688

Jane Hillston, Luca Bortolussi

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.0920

zbMATH Keywords

mean field approximationfluid approximationstochastic model checkingreachability probability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (9)

Model Checking of Biological Systems ⋮ Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation ⋮ Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model ⋮ Applying Mean-Field Approximation to Continuous Time Markov Chains ⋮ Fluid Model Checking of Timed Properties ⋮ Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference ⋮ Model checking Markov population models by stochastic approximations ⋮ Model checking single agent behaviours by fluid approximation ⋮ Hybrid behaviour of Markov population models

This page was built for publication: Fluid Model Checking