Difference between revisions of "Publications/guirado.05.pdmc"
From LRDE
(Created page with "{{Publication | date = 2005-01-01 | authors = Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet | title = Distribution, approximation and probabilistic m...") |
|||
Line 7: | Line 7: | ||
| 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 evaluationshowing the scalability of the method, even on clusters containing 500+ heterogeneous workstations. |
| 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 evaluationshowing the scalability of the method, even on clusters containing 500+ heterogeneous workstations. |
||
+ | | lrdeprojects = APMC |
||
| type = inproceedings |
| type = inproceedings |
||
| id = guirado.05.pdmc |
| id = guirado.05.pdmc |
||
Line 27: | Line 28: | ||
scheme, together with extensive performance evaluation, |
scheme, together with extensive performance evaluation, |
||
showing the scalability of the method, even on clusters |
showing the scalability of the method, even on clusters |
||
− | containing 500+ heterogeneous workstations.<nowiki>}</nowiki> |
+ | containing 500+ heterogeneous workstations.<nowiki>}</nowiki>, |
+ | lrdeprojects = <nowiki>{</nowiki>APMC<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Revision as of 18:07, 4 November 2013
- 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-01-01
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 evaluationshowing 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.}, lrdeprojects = {APMC} }