Fluid Model Checking
From MaRDI portal
Publication:2912688
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
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