Distributed Parametric and Statistical Model Checking

Details Distributed Parametric and Statistical Model Checking Distributed Parametric and Statistical Model Checking

2011-11-02

arxiv.org/abs/1111.0370v1

EPTCS 72, 2011, pp. 30-42

Computer Science

Software Engineering

In Proceedings PDMC 2011, arXiv:1111.0064

Scientific paper

10.4204/EPTCS.72.4

Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easily parallelizable on a master/slaves architecture by introducing a series of algorithms that scale almost linearly with respect to the number of slave computers. Our approach has been implemented in the UPPAAL SMC toolset and applied on non-trivial case studies.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-327446