Difference between revisions of "Publications/guirado.05.pdmc"
From LRDE
| Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
| − | | date = 2005- |
+ | | date = 2005-05-23 |
| authors = Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet |
| authors = Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet |
||
| title = Distribution, approximation and probabilistic model checking |
| title = Distribution, approximation and probabilistic model checking |
||
| Line 8: | Line 8: | ||
| 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 |
| lrdeprojects = APMC |
||
| + | | lrdenewsdate = 2005-05-23 |
||
| type = inproceedings |
| type = inproceedings |
||
| id = guirado.05.pdmc |
| id = guirado.05.pdmc |
||
Revision as of 16:45, 5 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-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 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.}
}