Fluid Model Checking

Details Fluid Model Checking Fluid Model Checking

2012-03-05

arxiv.org/abs/1203.0920v1

Computer Science

Logic in Computer Science

Scientific paper

In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the behaviour of a single agent in a (large) population of agents, exploiting a limit result known also as fast simulation. In particular, we will approximate the behaviour of a single agent with a time-inhomogeneous CTMC which depends on the environment and on the other agents only through the solution of the fluid differential equation. We will prove the asymptotic correctness of our approach in terms of satisfiability of CSL formulae and of reachability probabilities. We will also present a procedure to model check time-inhomogeneous CTMC against CSL formulae.

Affiliated with

Also associated with

No associations

Rating

Fluid Model Checking does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Fluid Model Checking, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Fluid Model Checking will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-133106