Difference between revisions of "Publications/guirado.05.pdmc"
From LRDE
Line 7: | Line 7: | ||
| project = APMC |
| project = APMC |
||
| urllrde = 200507-Pdmc |
| urllrde = 200507-Pdmc |
||
− | | abstract = APMC is a model checker dedicated to the quantitative verification of fully probabilistic systems against LTL formulas. Using a Monte-Carlo method in order to efficiently approximate the verification of probabilistic specifications, it could be used naturally in a distributed framework. We present here the tool and his distribution scheme, together with extensive performance |
+ | | abstract = APMC is a model checker dedicated to the quantitative verification of fully probabilistic systems against LTL formulas. Using a Monte-Carlo method in order to efficiently approximate the verification of probabilistic specifications, it could be used naturally in a distributed framework. We present here the tool and his distribution scheme, together with extensive performance evaluation, showing the scalability of the method, even on clusters containing 500+ heterogeneous workstations. |
| lrdeprojects = APMC |
| lrdeprojects = APMC |
||
| lrdenewsdate = 2005-05-23 |
| lrdenewsdate = 2005-05-23 |
Revision as of 09:01, 25 June 2014
- Authors
- Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet
- Where
- Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC)
- Type
- inproceedings
- Projects
- APMC
- Date
- 2005-05-23
Abstract
APMC is a model checker dedicated to the quantitative verification of fully probabilistic systems against LTL formulas. Using a Monte-Carlo method in order to efficiently approximate the verification of probabilistic specifications, it could be used naturally in a distributed framework. We present here the tool and his distribution scheme, together with extensive performance evaluation, showing the scalability of the method, even on clusters containing 500+ heterogeneous workstations.
Bibtex (lrde.bib)
@InProceedings{ guirado.05.pdmc, author = {Guillaume Guirado and Thomas Herault and Richard Lassaigne and Sylvain Peyronnet}, title = {Distribution, approximation and probabilistic model checking}, booktitle = {Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC)}, year = 2005, project = {APMC}, abstract = {APMC is a model checker dedicated to the quantitative verification of fully probabilistic systems against LTL formulas. Using a Monte-Carlo method in order to efficiently approximate the verification of probabilistic specifications, it could be used naturally in a distributed framework. We present here the tool and his distribution scheme, together with extensive performance evaluation, showing the scalability of the method, even on clusters containing 500+ heterogeneous workstations.} }