Efficient Parallel Statistical Model Checking of Biochemical Networks

Details Efficient Parallel Statistical Model Checking of Biochemical Networks Efficient Parallel Statistical Model Checking of Biochemical Networks

2009-12-13

arxiv.org/abs/0912.2551v1

EPTCS 14, 2009, pp. 47-61

Computer Science

Computational Engineering, Finance, and Science

Scientific paper

10.4204/EPTCS.14.4

We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture.

Affiliated with

Also associated with

No associations

Rating

Efficient Parallel Statistical Model Checking of Biochemical Networks 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 Efficient Parallel Statistical Model Checking of Biochemical Networks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient Parallel Statistical Model Checking of Biochemical Networks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-623923