Abstract
This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011 |
Editors | C. Palamidessi, A. Riska |
Place of Publication | Los Alamitos, USA |
Publisher | IEEE |
Pages | 149-150 |
Number of pages | 2 |
ISBN (Print) | 978-1-4577-0973-9 |
DOIs | |
Publication status | Published - Sept 2011 |
Event | 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011 - RWTH Aachen University, Aachen, Germany Duration: 5 Sept 2011 → 8 Sept 2011 Conference number: 8 |
Publication series
Name | |
---|---|
Publisher | IEEE Computer Society |
Conference
Conference | 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011 |
---|---|
Abbreviated title | QEST |
Country/Territory | Germany |
City | Aachen |
Period | 5/09/11 → 8/09/11 |
Keywords
- METIS-277654
- IR-77422
- EC Grant Agreement nr.: FP7/214755
- EWI-20206
- EC Grant Agreement nr.: FP7-ICT-2007-1