Difference between revisions of "Publications/guirado.05.pdmc"
From LRDE
| Line 28: | 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:22, 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.}
}