Distributed Parametric and Statistical Model Checking
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...
Պահպանված է:
| Հիմնական հեղինակներ: | , , , , |
|---|---|
| Ձևաչափ: | Artigo |
| Լեզու: | Inglês |
| Հրապարակվել է: |
Open Publishing Association
2011-10-01
|
| Շարք: | Electronic Proceedings in Theoretical Computer Science |
| Առցանց հասանելիություն: | http://arxiv.org/pdf/1111.0370v1 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|