Difference between revisions of "Publications/guirado.05.pdmc"
From LRDE
| Line 5: | Line 5: | ||
| title = Distribution, approximation and probabilistic model checking |
| title = Distribution, approximation and probabilistic model checking |
||
| booktitle = Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) |
| booktitle = Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) |
||
| − | | project = APMC |
||
| − | | 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. |
||
| lrdeprojects = APMC |
| lrdeprojects = 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 evaluationshowing the scalability of the method, even on clusters containing 500+ heterogeneous workstations. |
||
| lrdenewsdate = 2005-05-23 |
| lrdenewsdate = 2005-05-23 |
||
| type = inproceedings |
| type = inproceedings |
||
| Line 21: | Line 19: | ||
and Distributed Model Checking (PDMC)<nowiki>}</nowiki>, |
and Distributed Model Checking (PDMC)<nowiki>}</nowiki>, |
||
year = 2005, |
year = 2005, |
||
| − | project = <nowiki>{</nowiki>APMC<nowiki>}</nowiki>, |
||
abstract = <nowiki>{</nowiki>APMC is a model checker dedicated to the quantitative |
abstract = <nowiki>{</nowiki>APMC is a model checker dedicated to the quantitative |
||
verification of fully probabilistic systems against LTL |
verification of fully probabilistic systems against LTL |
||
Latest revision as of 12:15, 26 April 2016
- 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,
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.}
}