| Autor: |
Rafał Mrówka, Marcin Szpyrka, Piotr Matyasik |
| Rok vydání: |
2011 |
| Předmět: |
|
| Zdroj: |
ECMS |
| DOI: |
10.7148/2011-0539-0545 |
| Popis: |
The paper presents a practical introduction to the modelling and verification of concurrent systems with the Alvis modelling language using the α system layer. This version of Alvis is the most universal one. It is assumed that each active agent has access to its own processor and all agents perform their statements concurrently. All layers of an Alvis models are shortly described in the paper and possibilities of a formal verification are also discussed. A classical problem of dining philosophers is presented to illustrate Alvis features and methods of an automatic model verification with the CADP toolbox. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
