Abstract
Given the description of a model and a probabilistic formula, approximate model checking is a verification technique based on statistical reasoning that allows answering whether or not the model satisfies the formula. Only a subset of the properties that can be analyzed by exact model checking can be attacked by approximate methods. These latest methods, though, being based on simulation and sampling have the advantage of not requiring the generation of the complete state-space of the model. Here we describe an efficient tool for the approximate model checking of services written in a stochastic variant of COWS, a process calculus for the orchestration of services.
| Original language | English |
|---|---|
| Title of host publication | 5th International Symposium on Trustworthly Global Computing, TGC 2010 |
| Editors | Martin Wirsing, Martin Hofmann, Axel Rauschmayer |
| Place of Publication | Germany |
| Publisher | Springer Verlag |
| Pages | 335-347 |
| Number of pages | 13 |
| ISBN (Print) | 978-3-642-15639-7 |
| DOIs | |
| Publication status | Published - 2010 |
| Externally published | Yes |
| Event | 5th International Symposium, TGC 2010: Trustworthly Global Computing - Munich, Germany Duration: 24 Feb 2010 → 26 Feb 2010 https://link.springer.com/book/10.1007/978-3-642-15640-3 |
Publication series
| Series | Lecture Notes in Computer Science |
|---|
Symposium
| Symposium | 5th International Symposium, TGC 2010 |
|---|---|
| Abbreviated title | TGC 2010 |
| Country/Territory | Germany |
| City | Munich |
| Period | 24/02/10 → 26/02/10 |
| Internet address |
Keywords
- IR-75853, EWI-19431, METIS-276316