Approximate Model Checking of Stochastic COWS

Paola Quaglia, Stefano Schivo

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


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 languageEnglish
Title of host publication5th International Symposium on Trustworthly Global Computing, TGC 2010
EditorsMartin Wirsing, Martin Hofmann, Axel Rauschmayer
Place of PublicationGermany
PublisherSpringer Verlag
Number of pages13
ISBN (Print)978-3-642-15639-7
Publication statusPublished - 2010
Externally publishedYes
Event5th International Symposium, TGC 2010: Trustworthly Global Computing - Munich, Germany
Duration: 24 Feb 201026 Feb 2010

Publication series

SeriesLecture Notes in Computer Science


Symposium5th International Symposium, TGC 2010
Abbreviated titleTGC 2010
Internet address


  • IR-75853, EWI-19431, METIS-276316


Dive into the research topics of 'Approximate Model Checking of Stochastic COWS'. Together they form a unique fingerprint.

Cite this